>>70
数学を決める論証力(東京出版：大学への数学シリーズ)
に扱われてるよ。読んでみて。