0413132人目の素数さん垢版 | 大砲2024/05/02(木) 09:13:40.73ID:0b2ae/V3 “∈-loops” a∈b∈c∈...∈a つまりa.…∈a だから、属性方程式a∈aを解きたい! だから圏同値の商で、基礎の公理を回避するコンセプトをオリジナルであみだした、ということでは。