メモメモ

もしくは書くこと備忘録。

• モデルと証明の話
  • 定義からちゃんと書いてみましょう
  • 完全性定理
  • 不完全性定理
  • Goldbach予想は独立でない方が嬉しいなの件について
• 非可算全順序の話
  • 実数の部分順序(Sierpinskiの定理とBaumgartnerの定理)
  • Aronszajn trees and lines
  • Five element basis
• 強制法の基礎
  • 真面目に正当化してみる
• 数学者になるための勉強について

いつになるかはわかりませんが少しずつ。