妥当性と完全性の定理. 小池 陽 人. イラレ 丸. ドスケベ さえ ちゃん.