Математическая логика — раздел математики, изучающий доказательства, исчисления (грубо говоря, то, где можно провести доказательство) и алгоритмы. Наиболее известные классические результаты логики:
- теорема Геделя о неполноте: даже в арифметике не все верные утверждения можно доказать;
- континуум-гипотеза недоказуема и неопровергаема.
Код по классификации ВИНИТИ: 510 .