Alwe

フォローする

Christmas Suslin Tree

参考文献

Ralf, Schindler, Set Theory: Exploring Independence and Truth, Springer, 2014

Keith Devlin, Constructibility, Perspectives in Logic, Cambridge University Press, 1984

この記事を高評価した人

詳しくみる

投稿者

@Alwe

Alwe

@ptykes

関連記事

なんで証明中の選択公理が目立つのかって話

赤雪江第1章のまとめノート作ってみた

外延性公理は等号の定義じゃないよ！

コメント

コメントはありません。