Principia Mathematica Alfred North Whitehead, Bertrand Russell, Hans Mokre, Hans-Joachim Metzger, Kurt Gödel