論理と集合から始める数学の基礎 [ 嘉田 勝 ]