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

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

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

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