順序数と基数の話

定義が色々あるから明記すべきという意見を頂いたのでまとめて順序数と基数についてまとめて書きます。 これは全部ZFC上での定義です。 定義(順序数) かつを満足する集合を順序数という. 1つ目の条件をconnective、2つ目の条件をtransitiveという。 例 は順序数である。これらを有限順序数、あるいは自然数と…