Парадокс Геделя
"К концу XIX века математика уже очень сильно развилась, были построены анализ и алгебра, имелись важные результаты из теории чисел. Были созданы разные неевклидовы геометрии. Здание математики было высоким и красивым, но его основание было непрочным. Теория множеств и логика находились в зачаточном состоянии, а ведь на них должна опираться вся математика. На рубеже XIX и XX веков Давид Гильберт поставил задачу перед математиками всего мира: построить аксиоматику арифметики. К выбору аксиом надо было подойти очень ответственно. Из них должны выводиться привычные нам свойства чисел. Аксиомы не должны противоречить друг другу (это свойство аксиоматики называется непротиворечивостью). Аксиом должно быть достаточно, чтобы о любом утверждении можно было сказать, истинно оно или ложно (это свойство аксиоматики называется полнотой). Непротиворечивость важна, ведь если ее не будет, то в теории найдутся утверждения одновременно истинные и ложные. Полнота тоже важна, потому что е