Not sure why Gödel's theorems are relevant here. It is indeed unknown whether ZFC is consistent. Somewhere at the undergraduate level students are lead to believe that a proof gives an absolute certainty. Later they learn that this is not quite true, big deal. Most working mathematicians believe in consistency of ZFC, and nobody yet proved them wrong. To date proofs have served us remarkably well.