> "Sound" means free of contradiction with respect to the axioms assumed.

Gödel wept.