Meta-Mathematik von Paul Lorenzen.
F5