Ciro Santilli
🔗
🔗
🔗
It seems to implement Zermelo-Fraenkel set theory.
🔗
🔗

Ancestors

🔗