0256132人目の素数さん垢版 | 大砲2014/04/23(水) 21:38:36.54 論理式を使って定義できるような対象しか存在しないなら その定義のされ方に着目することで整列順序付けができてもおかしくは無いのかな、 というイメージはあるけど。