Приведенные примеры показывают, что не существует единого полного интуиционистского исчисления предикатов, которое могло бы служить ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Драгалин А.Г.
Конструктивная теория доказательств и нестандартный анализ
Приведенные примеры показывают, что не существует единого полного интуиционистского исчисления предикатов, которое могло бы служить логическим базисом всех прикладных интуиционистских теорий.