削除された内容 追加された内容
147行目:
* [[超準解析]]([[:en:Non-standard analysis|Non-standard analysis]]または[[:en:|Non-standard calculus]])
* [[超現実数]]([[:en:Surreal number|Surreal number]])
* [[モデル理論]]
* [[コンパクト性定理]]
* [[ゲーデルの完全性定理]]
 
== 脚注 ==