Математическая логика — раздел математики, изучающий доказательства, исчисления (грубо говоря, то, где можно провести доказательство) и алгоритмы. Наиболее известные классические результаты логики:

• теорема Геделя о неполноте: даже в арифметике не все верные утверждения можно доказать;
• континуум-гипотеза недоказуема и неопровергаема.

Код по классификации ВИНИТИ: 510 .
Дополнительная информация