数学基礎論・数理論理学 その9

このエントリーをはてなブックマークに追加
248132人目の素数さん
俺は集合論やるために後付けで論理学も勉強したが
学部時代は完全性定理もわからんかったw
ロジックはほとんど使わないよ