bayangkan sesuatu yang secara otomatis mengungkap definisi matematika hingga teori himpunan, seperti yang mulai dilakukan oleh Stacks Section 3.2 untuk Skema, sebagai cara untuk mendefinisikan setiap konsep yang mungkin tidak Anda ketahui secara rekursif seseorang menggetarkan kode ini atau apa pun yang dilakukan kera komputer kita akhir-akhir ini

dengan beberapa langit-langit kedalaman atau SMTH yang sewenang-wenang, tidak perlu turun ke ZFC atau omong kosong logika matematis yang mendalam. Hanya beberapa level turun bisa membantu. Jelas beberapa hal (seperti skema) agak mengipasi seperti orang gila sehingga Anda akan memiliki N cabang yang turun secara rekursif, tapi ya

jika tidak berguna, mungkin cantik?

Mungkin turun ke Mathlib defs untuk titik terendah?

sejujurnya rasanya seperti saya melanggar diri saya sendiri dengan memposting di TL dan bukan hanya untuk pelanggan, tetapi saya lupa mengklik dropdown 2 hari terakhir ini jadi persetan