0796132人目の素数さん垢版 | 大砲2018/05/23(水) 00:52:22.97ID:4caPj6x/ ∀n∃mP(n, m) ∧ ∀n∀x∀y((P(n, x) ∧ P(n, y)) ⇒ x = y)が証明できただけじゃwell definedとは言い切れないんじゃ。 異なる解釈で異なる関数を読み取ることができても成り立つから