Imaginează-ți ceva care desfășoară automat definițiile matematice până la teoria mulțimilor, așa cum începe să facă Stacks Section 3.2 pentru un Scheme, ca o modalitate de a defini recursiv fiecare concept pe care poate nu îl cunoști Cineva să facă vibecode-uri pentru asta sau orice altceva facem noi, maimuțele de la calculator, în zilele noastre

cu un plafon de adâncime arbitrar sau ceva de genul, nu e nevoie să ajungi la ZFC sau la vreo logică matematică profundă. Doar câteva coborâri de nivel ar putea ajuta. Evident, unele lucruri (cum ar fi schemele) se răspândesc foarte mult, așa că ai avea N ramuri care coboară recursiv, dar da

Dacă nu e util, poate e frumos?

Poate mergi la MathLib Defs pentru Rock Bottom?

Sincer, simt că mă violez pe mine însumi postând pe TL și nu doar pentru abonați, dar am uitat să dau click pe meniul derulant în ultimele 2 zile, așa că la naiba cu asta