ВСЕВЕДЕНИЯ ПАРАДОКС – см. Эпистемическая логика.