LINUX.ORG.RU
Ответ на: комментарий от abacaba

Induction is justified by appeal to the finitary credo: for every number xx there exists a numeral d\mathrm{d} such that xx is d\mathrm{d}. It is necessary to make this precise; as someone once said, it depends on what you mean by “is”. We cannot express it as a formula of arithmetic because “there exists” in “there exists a numeral d” is a metamathematical existence assertion, not an arithmetical formula beginning with ∃\exists.

лол, что?

next_time ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.