stel je een ding voor dat automatisch wiskundefinities ontrafelt tot verzamelingenleer, zoals Stacks Sectie 3.2 begint te doen voor een Schema, als een manier om elk concept dat je misschien niet kent recursief te definiëren iemand moet dit vibecode of wat het ook is dat wij computerapen tegenwoordig doen

met een of andere willekeurige dieptegrens of zo, geen behoefte om naar ZFC of zo'n diepe wiskundige logica te gaan. Gewoon een paar niveaus naar beneden zou kunnen helpen. Uiteraard fannen sommige dingen (zoals schema's) een beetje uit als gek, dus je zou N takken hebben die recursief naar beneden gaan, maar ja

als het niet nuttig is, misschien mooi?

misschien naar de mathlib-definities gaan voor de bodem?

het voelt eerlijk gezegd alsof ik mezelf schend door op de TL te posten en niet alleen voor abonnees, maar ik ben de laatste 2 dagen vergeten om op de dropdown te klikken, dus verdomd het maar.