Сущность формальной и математической логики
...гипотеза и т. д., такие методы познания, как восхождение от абстрактного к конкретному, анализ и синтез и т. д.
...его непротиворечивости, независимости, полноте , разрешимости. Говорят, что всякая интерпретированная формальная система (то есть...