Логицизм: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Addbot (обсуждение | вклад) м Интервики (всего 21) перенесены на Викиданные, d:q845691 |
PtQa (обсуждение | вклад) да ладно? |
||
Строка 14:
К ним относятся, например, аксиома бесконечности, которая утверждает, что существует бесконечно много индивидов, то есть объектов наинизшего типа.
В целом попытка сведения математики к логике не удалась{{нет АИ|7|08|2013}}.
Как показал [[Гёдель, Курт|Гёдель]], никакая формализованная система логики не может быть адекватной базой математики{{нет АИ|7|08|2013}}.
== Литература ==
| |||