12/10/15 22:00:07.15
>>115
URLﾘﾝｸ(logic.wikischolars.columbia.edu)
の14章で選択公理が独立なこと、33章で選択公理から決定性公理の否定が証明されることを示す。
URLﾘﾝｸ(logic.wikischolars.columbia.edu)
の4章演習問題にZF-InfとPAの無矛盾等価性がのってる。
12/10/15 22:00:07.15
>>115
URLﾘﾝｸ(logic.wikischolars.columbia.edu)
の14章で選択公理が独立なこと、33章で選択公理から決定性公理の否定が証明されることを示す。
URLﾘﾝｸ(logic.wikischolars.columbia.edu)
の4章演習問題にZF-InfとPAの無矛盾等価性がのってる。