カントさえ読まない馬鹿が哲板にいるらしい 3

405 ：考える名無しさん：2024/01/27(土) 17:10:27.07 ID:0.net

このスレ的には「型がなかったらこうなる」という話でしかありませんが、
昔、数学板で聞いた知識として「第一階述語論理にも判定するアルゴリズムはない」というものがあります
不完全性定理が発動されるに足る、理論の十分な強力さとして、
自然数の算術（数学）よりも量化子の導入（論理学）の方がより本質的だったりするのかな、みたいなことを思いました

それとも知識的に誤ったとこありますか？