もしくは書くこと備忘録。 モデルと証明の話 定義からちゃんと書いてみましょう 完全性定理 不完全性定理 Goldbach予想は独立でない方が嬉しいなの件について 非可算全順序の話 実数の部分順序(Sierpinskiの定理とBaumgartnerの定理) Aronszajn trees and li…

id:redcat_mathさんに誘っていただきました。更新が不定期なページではありますがよろしくお願いします。