 Zermelo-Fraenkel set theory

ID: zermelo-fraenkel-set-theory

 Top articles  Latest articles + New article in topic

Zermelo-Fraenkel set theory by

Ciro Santilli 35  Updated 2025-03-25  +Created 1970-01-01

One of the first formal proof systems. This is actually understandable!

This is Ciro Santilli-2020 definition of the foundation of mathematics (and the only one he had any patience to study at all).

TODO what are its limitations? Why were other systems created?

 Read the full article

Zermelo–Fraenkel set theory by

Wikipedia Bot 0  1970-01-01

 Read the full article

 New to topics? Read the docs here!