Paul Lorenzen
article-link
What links here
Impredicativity
Predicative
article-link
Kripke–Platek set theory
article-link
Lambda cube
article-link
Logical framework
article-link
Logicism
article-link
Intuitionistic type theory
article-link
Reverse mathematics
article-link
Hermann Weyl
article-link
Analytic philosophy
article-link
Richard's paradox
article-link
Gödel's incompleteness theorems
article-link
Henri Poincaré
article-link
Gottlob Frege
article-link
Russell's paradox
article-link
Self-reference
article-link
Set theory
article-link
Mathematical logic
article-link
Edmund Husserl
article-link