【裳華房】『数学基礎論序説』数学基礎論序説 －数の体系への論理的アプローチ－ Logical Foundations of Mathematics 東北大学名誉教授 Ph.D. 田中一之 著 Ａ５判／388頁／定価5940円（本体5400円＋税10％）／2019年6月発行 ISBN 978-4-7853-1575-7 C3041 意味と形式の織り成す世界へ――。 数学基礎論の入門から最先端までを、大胆な構成と精緻な記述で探る。21世紀の数学基礎論を切り開く力作。 「第1部 数理論理学入門」では、数学基礎論の基本ツールとなる数理論理学を初学者に向けて丁寧に解説。１階論理のエッセンスをゲーデルの完全性定理を中心に学ぶ。 「第2部 自然数と実数の形式体系」は数学基礎論の入門編で、自然数論に関するゲーデルの不完全性定理や、実数論に関するタルスキの完全性など、1970年頃まで（「逆数学」誕生以前）の数学基礎論を展望する。 「第
