Аксиоматическое построение любой математической теории начинается с перечисления неопределяемых основных понятий (объектов и отношений) и аксиом, которым должны удовлетворять основные понятия. Профессор Туринского университета Джузеппе Пеано[1] в статье «О понятии числа» (1891 г.) сформулировал пять аксиом: С аксиоматической точки зрения приводятся два понятия: Эти понятия косвенно определяются системой аксиом. Существующая система аксиом по форме несколько отличается от вышеприведенной. Натуральные числа – это элементы всякого непустого множества N, в котором для некоторых элементов a и b установлено...

«Чистая математика — это такой предмет, где мы не знаем, о чем мы говорим, и не знаем, истинно ли то, что мы говорим». Бертран Рассел В 1931 г. в одном из немецких научных журналов появилась сравнительно небольшая статья с довольно-таки устрашающим названием «О формально неразрешимых предложениях Principia Mathematica и родственных систем». Автором ее был двадцатипятилетний математик из Венского университета Курт Гёдель, впоследствии работавший в Принстонском институте высших исследований. Работа эта сыграла решающую роль в истории логики и математики ХХ века...