t_wの輪郭

https://amzn.to/4dXwPaU

一階述語論理は個体の量化のみを許す述語論理である。

一階述語論理が健全性と完全性を備えていることがクルト・ゲーデルによって証明された。