Assertion: dissertation | /r/HasProperty | expressed as axiom
Facets:
Source sentences:
text: Thus Post in his 1936 paper was also discounting Kurt Gödel's suggestion to Church in 1934–35 that the thesis might be expressed as an axiom or set of axioms.