Cтраница 3
Она доказывается тем, что дастся какая-нибудь интерпретация ( модель) системы аксиом. Такая модель строится на основе к. Так, геометрия Лобачевского истолковывается в эвклидовой геометрии, а этой последней дают аналитич. Однако понятие ( аксиоматика) вещественного числа также нуждается в выяснении непротиворечивости. В общем, метод интерпретаций не дает окончат, доказательства непротиворечивости никакой теории, а лишь сводит одну теорию к другой, так что вопрос о непротиворечивости математич. [31]