Allow the universe, to literally be the universe. Now consider the following formula:
∃x{∃y[¬(x = y)]}. There exists something call it x and there exists something call it y, it turns out it is not the case that x is the same thing as y. This construction is a strange way to say the number two!
No comments:
Post a Comment