理科は帰納的な方法で検証する為に全て仮説であるが数学は矛盾無き論理を演繹的に
組み立てたものだから真実であると聞きましたが
論理の一番初めの公理って矛盾があるか否か検証できないと聞きました(不完全性定理)
なのになぜ公理の上に他の論理を組み立てる事ができるのですか？