22/06/04 14:52:48.21 lN5GxstC.net
>>289
イヤ
ωの定義が
0∈ω、x∈ω→x+1∈ω、∀ω'(0∈ω'、x∈ω'→x+1∈ω')→ ω⊂ω')
でここ背理法関係ありません
22/06/04 14:52:48.21 lN5GxstC.net
>>289
イヤ
ωの定義が
0∈ω、x∈ω→x+1∈ω、∀ω'(0∈ω'、x∈ω'→x+1∈ω')→ ω⊂ω')
でここ背理法関係ありません
22/06/04 14:52:48.21 lN5GxstC.net
>>289
イヤ
ωの定義が
0∈ω、x∈ω→x+1∈ω、∀ω'(0∈ω'、x∈ω'→x+1∈ω')→ ω⊂ω')
でここ背理法関係ありません