Imagina algo que desenrolla automáticamente definiciones matemáticas hasta teoría de conjuntos, como empieza a hacer la Sección 3.2 de Stacks para un esquema, como una forma de definir recursivamente cada concepto que quizá no conozcas Alguien hace un vibecode esto o lo que sea que hagamos los simios informáticos hoy en día

con algún techo de profundidad arbitrario o algo así, no hace falta llegar a ZFC ni a alguna lógica matemática profunda. Solo un par de niveles abajo podrían ayudar. Obviamente, algunas cosas (como los esquemas) se dispersan muchísimo, así que tendrías N ramas descendiendo recursivamente, pero sí

Si no es útil, ¿quizá bonito?

¿Quizá baja a MathLib Defs para tocar fondo?

Sinceramente, siento que me estoy violando a mí mismo al publicar en la línea de traducción y no solo para suscriptores, pero estos últimos dos días se me olvida hacer clic en el desplegable, así que que me den