日: 2018年6月29日

今日も数理論理学は難しかった。エルブランの定理を習った。

そろそろ期末に向けて準備した方がいいかもしれない。