История изменений

Почитай книги по формальным системам или классической мат логике, если хочешь про доказательства понять. Если грубо мы строим формальную систему оторванную от реальной, делаем в ней аксиомы(т.е. берем что-то наверу), и доказываем сначала из аксиом по цепочке. Если что-то истинно в формальной системе, это не доказывает что это истинно в той реальности на основе которой мы построили формальную систему. Мы просто считаем что скорее всего это истинно, хотя может быть и не так. Что-бы понять как индуктивность может работает на бесконечностях различной природы мне например надо не один день об этом подумать.

Почитай книги по формальной логике или классической мат логике, если хочешь про доказательства понять. Если грубо мы строим формальную систему оторванную от реальной, делаем в ней аксиомы(т.е. берем что-то наверу), и доказываем сначала из аксиом по цепочке. Если что-то истинно в формальной системе, это не доказывает что это истинно в той реальности на основе которой мы построили формальную систему. Мы просто считаем что скорее всего это истинно, хотя может быть и не так. Что-бы понять как индуктивность может работает на бесконечностях различной природы мне например надо не один день об этом подумать.