19/11/27 20:58:14 qnEhNItW.net
>>485
どこかで読んだのだが、厳密性とは、所詮その時代の水準のものでしかないとか言われていた
昔(20世紀前半)は、一階述語論理が重視されたが
20世紀後半からは、一階述語論理偏重を見直す動きがある
URLリンク(ja.wikipedia.org)
有限集合
(抜粋)
基礎付け問題
無限集合を擁護する数学者にとっても、ある重要な文脈では、有限集合と無限集合の形式的区別は微妙な問題として残った。
これはゲーデルの不完全性定理に端を発している。遺伝的有限集合はペアノ算術で解釈でき(逆もまた同様)、従ってペアノの理論体系の不完全性は遺伝的有限集合の理論にも存在することが暗に示されている。
特に、どちらの理論にもいわゆる非標準モデルの過剰