>>227
> 不完全性定理によると
> 証明できない真理が有る

より正確に言えば「公理からは証明も却下もできない命題が存在する」だ　（注：「ある命題を公理から却下できる」とは「その命題の否定を公理から証明できる」ということ）

> 公理は証明できないのに真であるとみなすのだから、公理は不完全性定理で言う「証明できない真理」に当るよね？

個々の公理はその公理自身から証明できるので何の問題もなく、不完全性定理で存在が主張されている命題とは全く違う