Выдержка из книги
Каганов М.И.
Абстракция в математике и физике
Будем исходить из того, что всякая система аксиом описывает некоторое множество М объектов и некоторое множество Р отношений между ними, например совокупность всех прямых на плоскости и два отношения: наличие или отсутствие параллельности между двумя прямыми. В действительности, круг высказываний, называемых допустимыми, значительно шире. Например, высказывание допустимое высказывание А является ложным тоже является допустимым. Теперь ясно, как следует улучшить определение полноты. Нужно слово любое заменить выражением любое допустимое, хотя, как мы видели, понятие допустимости высказывания не является элементарным.
