即将离开知乎
您即将离开知乎,请注意您的帐号和财产安全。
https://scholar.google.com/scholar_lookup?title=%C3%9Cber+formal+unentscheidbare+S%C3%A4tze+der+Principia+Mathematica+und+verwandter+Systeme+I&author=G%C3%B6del,+K.&publication_year=1931&journal=Monatshefte+Math.+Phys.&volume=38&pages=173%E2%80%93198&doi=10.1007/BF01700692