0564132人目の素数さん垢版 | 大砲2018/02/27(火) 00:14:25.73ID:6QNrQUgr >>563 あのなあ… 「Nの任意の部分集合」と言ったら ∀x(x⊂N→ … ) という論理式のことに決まってるだろ おまえの自然数モドキ達をnで表すとしても ∀n(n⊂N→ … ) という論理式を表すための言語がないし、 (有限個の文字による)自然数モドキの定義がない、したがって「自然数モドキ全体の集合」を定義することもできず、 新たに言語を追加しても意味がない