>>790
スマリヤンの本って事はゲーデルの不完全性定理を理解したいのかもしれないが
これは初学者が理解するのはまず無理だから
地道に命題論理から慣れていくしかない