One observation that dissolves a little bit of the mystery for me: We can devise, within ZF, a set of properties that points to a unique integer n. We can write down this integer, of course, but ZF won’t be able to notice that it’s the one that we’re after, because if it did it’d prove its own consistency.
One observation that dissolves a little bit of the mystery for me: We can devise, within ZF, a set of properties that points to a unique integer n. We can write down this integer, of course, but ZF won’t be able to notice that it’s the one that we’re after, because if it did it’d prove its own consistency.