単行本(実用) 数学 ゲーデルの20世紀 ゲーデルと20世紀の論理学 1 / 田中一之