19/03/09 10:26:52.19 9Sqq12HI.net
>>99 補足
>”∈”を使って、順序”＜”を定義する
>これ
>フォン・ノイマンが案出した巧妙なトリックなのだ（＾＾
この引用の前の記述が下記
URLﾘﾝｸ(fuchino.ddo.jp)
渕野 昌，連続体仮説とゲーデルの集合論的宇宙（ユニヴァース）， 現代思想，2007年2月臨時増刊号 (2007), 94-116
(抜粋)
Ｐ13
数の列の順序にそって帰納法の議論
が可能でなくてはならない。
19/03/09 10:26:52.19 9Sqq12HI.net
>>99 補足
>”∈”を使って、順序”＜”を定義する
>これ
>フォン・ノイマンが案出した巧妙なトリックなのだ（＾＾
この引用の前の記述が下記
URLﾘﾝｸ(fuchino.ddo.jp)
渕野 昌，連続体仮説とゲーデルの集合論的宇宙（ユニヴァース）， 現代思想，2007年2月臨時増刊号 (2007), 94-116
(抜粋)
Ｐ13
数の列の順序にそって帰納法の議論
が可能でなくてはならない。