Tenk deg en greie som automatisk ruller ut matematiske definisjoner ned til mengdelære, slik Stacks Section 3.2 begynner å gjøre for en Scheme, som en måte å rekursivt definere alle konsepter du kanskje ikke kjenner til Noen vibecode dette eller hva det nå er vi dataaper gjør nå til dags

med et vilkårlig dybdetak eller noe sånt, trenger du ikke å gå ned til ZFC eller noe dypt matematisk logikk-tull. Bare et par nivåer ned kan hjelpe. Selvfølgelig sprer noen ting (som skjemaer) seg ut som bare det, så du vil ha N-grener som går rekursivt nedover, men ja

Hvis ikke nyttig, kanskje pen?

Kanskje gå ned til MathLib Defs for bunnen?

det føles ærlig talt som om jeg bryter meg selv ved å poste på TL, og ikke bare for abonnenter, men jeg har glemt å klikke på nedtrekksmenyen de siste to dagene, så faen heller.