Treatise: From the Distinguished Relation to Complete Mathematics A genetic reconstruction of all mathematics from a single distinguished relation, without postulates other than distinction itself | Synapse