7/6のアドカレ記事です。数学基礎論の中の一分野であるモデル理論について少し書きました。

Wathematica Advent Calendar 2021の12/7の記事です。数学の未解決問題の一つである「P≠NP問題」について、分野外の人にもわかるように解説します。