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