Skolem's paradox
Videos
In mathematical logic and philosophy, Skolem's paradox is the apparent contradiction that a countable model of first-order set theory could contain an uncountable set. The paradox arises from part of
Thoralf Skolem, after whom the paradox is named
Metamathematics
Videos
Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamath
The title page of the Principia Mathematica (shortened version), an important work of metamathematics
