数学の形式化を研究している数学愛好家
本はありません。