共 2 条
[1]
Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692
[2]
Nagel E., 1958, GODELS PROOF