Glerk Pizza on Nostr: I vaguely remember a solution to this which involved the internal language of the big ...

I vaguely remember a solution to this which involved the internal language of the big Zariski topos, i don't remember the details though i think i rember John Carlos Baez (npub1nf4…nqe4) mentioning it in this weeks finds