突然だけどﾊﾙﾋｼﾘｰｽﾞってｹﾞｰﾃﾞﾙの話がやたら出てくるよな(;´Д`)
無矛盾の公理系は自身の完全性を証明できないとか神の存在証明とか
衒学趣味の強い人間はﾎﾌｽﾀｯﾀとかの本で知識として身に付ける機会が多いと思う