eber formal unentscheidbare SBtze der Principia Mathematics und verwandter Systeme (1931)

by K GGdel