2023¶

2023-03-31 「「選択公理 → Zornの補題」の超限帰納法を使わない証明」の文章を改訂¶

• URL

「「選択公理 → Zornの補題」の超限帰納法を使わない証明」の文章を改訂しました（証明を前よりも簡略化できたと思います）。 http://www2u.biglobe.ne.jp/~nuida/m/docs.htm