Это платная глава
1+1=2 в нынешней математической системе не может быть доказано. Это аксиома, основанная на эмпирическом обобщении, из которой выводятся все остальные теоремы. В прошлой жизни, в 1931 году, Гёдель доказал: в системе, содержащей аксиоматическую арифметику, невозможно доказать её собственную непротивор…
Авторизуйтесь и оплатите доступ, чтобы прочитать главу полностью.(Нет комментариев)
|
|
|
|
|
|
|
|
|
|
|
|
|
|