Fermat/ことり ま菜
ことり ま菜さんのコメント
数学ガールは存じませんでした、ゲーデルの不完全性定理も扱ってるんですね、面白そうです。