Whether or not the universe is (or, to split hairs, may be exactly expressed as) a formal axiomatic system, was very much an open question, one which Gödel help

Whether or not the universe is (or, to split hairs, may be exactly expressed as) a formal axiomatic system, was very much an open question, one which Gödel helped answer conclusively in the negative.