>>542
> 現代数学の系譜 雑談 ◆yH25M02vWFhP
∃A∀x(x∈A⇔x:A→A)
は真?