0573132人目の素数さん2018/02/27(火) 01:03:10.22ID:6QNrQUgr もうこれで最後にするぞ 理論内部の数学的帰納法は単なる論理式の一つだ 杉浦の解析入門にあるように、集合論では証明可能な論理式 理論内部の自然数はある特定の集合Nの元のことだ そのため∀x(x⊂N→ … )という論理式で任意の自然数について語ることができる 自然数モドキではこれができない