“At least one natural number greater than 152 exists.”
What does it mean, actually? In a formal sense, the sentence means that its formalised version is a theorem in PA, or whatever axiomatic system deemed relevant.
“God exists.”
What does this mean, actually?
“At least one natural number greater than 152 exists.”
What does it mean, actually? In a formal sense, the sentence means that its formalised version is a theorem in PA, or whatever axiomatic system deemed relevant.
“God exists.”
What does this mean, actually?