опять цитирую Егора

8/3/2017
никакая система аксиом в сигнатуре языка формальной арифметики не задаёт однозначно, с точностью до изоморфизма, стандартную интерпретацию N

Оставить комментарий

Емейл не публикуется. Обязательные поля помечены символом *