Our logical approximation of the universe might need to be, assuming that we don't add more axioms to our system of logical reasoning.
Our logical approximation of the universe might need to be, assuming that we don't add more axioms to our system of logical reasoning.