>>301
>タルスキの公理系は1階述語論理だからユークリッド幾何学も実閉体の条件で完全性.健全性.決定可能だ。
「だから」の前が後ろの理由になっていない。
一階述語論理は決定不能。一階述語論理は完全かつ健全だが、一階の理論はそうとは限らない。