Sugaku no logic to shugoron培風館 (2003年12月発行, 2009年10月初版第４刷発行)．ISBN 4-563-00337-9． 出版社による本書の紹介は ここ をクリック． 高校レベルのおさらいから始め，素朴集合論から公理的集合論への橋渡しをします． 注．ここで素朴集合論とは，内田伏一「集合と位相 (数学シリーズ) 」裳華房(1986)，松坂和夫「集合・位相入門」岩波(1989)などで紹介されている集合論を指します．主に19世紀後半のカントールの集合論から，20世紀初頭のツェルメロの選択公理までの範囲に相当します．大学の数学科では通常，１，２年生の科目です．また，ここで公理的集合論とは，キューネン（藤田博司 訳）「集合論―独立性証明への案内」のレベルの集合論を指します．ゲーデル，コーエンとその後（20世紀中盤以降）を扱います． 初版第１刷（2003.12.17 発行）正誤表（2010/11/ 5）． 初版第２
