Stell dir ein Ding vor, das mathematische Definitionen automatisch bis zur Mengenlehre entwirrt, so wie Abschnitt 3.2 von Stacks es für ein Schema zu tun beginnt, um jedes Konzept rekursiv zu definieren, das du vielleicht nicht kennst Jemand soll das vibecoden oder was auch immer wir Computer-Affen heutzutage tun.

mit einer willkürlichen Tiefenobergrenze oder so, es ist nicht nötig, bis zu ZFC oder irgendeiner tiefen mathematischen Logik zu gehen. Ein paar Ebenen nach unten könnten helfen. Offensichtlich fächern sich einige Dinge (wie Schemen) verrückt auf, sodass du N Äste rekursiv nach unten hast, aber ja

wenn nicht nützlich, vielleicht hübsch?

Vielleicht zu den mathlib-Definitionen für den Tiefpunkt gehen?

es fühlt sich ehrlich gesagt an, als würde ich mich selbst verletzen, indem ich auf der TL poste und nicht nur für Abonnenten, aber ich habe in den letzten 2 Tagen vergessen, das Dropdown-Menü zu klicken, also scheiß drauf.