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?
Articles by others on the same topic
Set theory is a branch of mathematical logic that studies sets, which are collections of objects. These objects can be anything: numbers, symbols, points in space, or even other sets. Set theory provides a foundational framework for much of modern mathematics and defines concepts such as union, intersection, and subset. Here are some key concepts in set theory: 1. **Sets and Elements**: A set is usually denoted by curly braces.