Manuscript XXII-A@1 · XXII-A.tex · section · 9e4e9f66
The three relations
The three relations · lines 175–180
The separation adopted from VII-J is a distinction between mathematical objects and their inputs, not a claim that they can never coincide in a particular certified model CheungVIIJ.