数学基礎論──それは20世紀とともに始まった、新しい数学の分野である。
その黎明期には、カントルやラッセルによって相次いで見出された集合論のパラドックス、そして、ゲーデルの不完全性定理など、数学の根幹を揺るがす発見が続いた。
しかし数学基礎論は、決して数学の息の根を止めてしまったのではない。
「ミレニアム懸賞問題」として知られるP=NP問題（P≠NP予想）やファジー論理、さらには人工知能との関わりなど、数学の最先端を切り開く分野でもあるのだ。
日本を代表する数学基礎論の大家がその歴史、および現代的なトピックについて平易に解説した入門書。