This is beautiful: I can't turn it into equations. Does that refute it or support it?
There are symbol-juxtapositions which are syntactically or semantically disconnected from any model set in ZFC. There are no sets in ZFC which are similarly separated from statements in a suitable language.
Another month has passed and here is a new rationality quotes thread. The usual rules are:
And one new rule: