10/12/31 22:54:53
>>60
そうなのか？
記号が有限、個々の論理式の長さは有限、全体としては可算無限まで。
その中から矛盾にならないよう論理式を選んでいって極大理論に至る。
これが論理式が整列できるなら選択公理いらない？
10/12/31 22:54:53
>>60
そうなのか？
記号が有限、個々の論理式の長さは有限、全体としては可算無限まで。
その中から矛盾にならないよう論理式を選んでいって極大理論に至る。
これが論理式が整列できるなら選択公理いらない？
10/12/31 22:54:53
>>60
そうなのか？
記号が有限、個々の論理式の長さは有限、全体としては可算無限まで。
その中から矛盾にならないよう論理式を選んでいって極大理論に至る。
これが論理式が整列できるなら選択公理いらない？