kuvittele laite, joka automaattisesti purkaa matematiikan määritelmät joukko-oppiin, kuten Stacks Section 3.2 alkaa tehdä Schemelle, tapana rekursiivisesti määritellä kaikki käsitteet, joita et ehkä tiedä Joku vibekoodaa tätä tai mitä ikinä me tietokoneapinat nykyään teemme

jollain mielivaltaisella syvyyskatolla tai jotain sellaista, ei tarvitse mennä ZFC:hen tai johonkin syvälliseen matemaattiseen logiikkajuttuun. Vain pari tason laskua voisi auttaa. Tietysti jotkut asiat (kuten skeemit) hajaantuvat hullun lailla, joten N haara laskeutuu rekursiivisesti, mutta kyllä

Jos ei ole hyödyllinen, ehkä kaunis?

Ehkä kannattaa mennä MathLibin Defs -tasolle pohjaksi?

tuntuu rehellisesti siltä, että loukkaan itseäni postaamalla pelinimeen, enkä vain tilaajille, vaan olen unohtanut klikata pudotusvalikkoa viimeiset kaksi päivää, joten hitot