>>398
Coqのようなソフトウェアを使ってみたいので数学基礎論の本を注文しました。