数学における証明と真理 - 共立出版
菊池 誠 編
www.kyoritsu-pub.co.jp