なんだっけ
公理とは何か証明とは何か
ユークリッドの公理から不完全性定理まで初学者にも分かり易く解説した本があったと思うんだけど
著者の名前忘れた
基礎論の人