基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？at MATH

基礎論者「ゲーデルの不完全性定理は間違った解説が多い」←どうでもよくね？ - 暇つぶし2ch371:１３２人目の素数さん
24/05/25 14:55:50.50 43OvMs57.net
>>365-366　
二階述語論理は健全(sound)かつ完全(complete)な実効的(effective)体系は存在しない
つまり
健全な実効的体系は不完全である(真だが証明不能な論理式の存在)
完全な実効的体系は不健全である(偽でも証明可能な論理式が存在)
健全で完全な体系は実効的でない(公理を確認する手続きの非存在)

次ページ

続きを表示

1を表示