axiomaticity Archives - 5ページ目 (5ページ中)

Axiomaticity 公理性

Axiomaticityという言葉がある。例えば、チューリングはZFC公理系を知らなかったが、のちにZFCによる証明に耐えうる理論であることが判明した。一方で公理あると信じられていたピタゴラスやユークリッドの定理もある…
Read more