質問: 有限集合の定義って? {1,2,...}は有限集合? 無限の公理は ∃a;[(φ∈a)∧((¬(x∈a))∨(x∪{x}∈a))] というものなので 集合aが無限集合の定義は「(φ∈a)∧(¬(x∈a)∨(x∪{x}∈a)」ですよね。 すると、有限集合の定義は無限集合ではないもの 即ち aが有限集合であるとは「¬[(φ∈a)∧(¬(x∈a)∨(x∪{x}∈a)]」 と言う風に書けると思います。 ¬[(φ∈a)∧(¬(x∈a)∨(x∪{x}∈a)]は ¬(φ∈a) ∨ ¬(¬(x∈a)∨(x∪{x}∈a))と書け、 ¬(φ∈a) ∨ ((x∈a)∧¬(x∪{x}∈a)) したがって、 (aはφを含まない) ∨ (x∈a)∧(aはx∪{x}を含まない) となってしまい、自然数全体の集合から0を差し引いたn\{0}という集合 {φ∪{φ},(φ∪{φ})∪{φ∪{φ}},...}は有限集合となってしまいますよね。 (∵この集合はφを含んでいないので) でもこれを有限集合とは到底思えませんよね。 一体何処から間違っているのでしょうか?
回答: 無限公理の解釈が間違っています。 無限公理は少なくとも一つの無限集合が存在することを保証するための公理であり、無限集合の定義ではありません。 また質問に記載の無限公理はxが束縛されていませんが、これも間違いです。 正しくは ∃a[(φ∈a)∧∀x((¬(x∈a))∨(x∪{x}∈a))] でしょう。 通常、有限集合は自然数の一つと同型(全単射がある)こと、無限集合は自然数全体の集合からの単射があることで定義します。