Assertion: consistency | /r/HasProperty | demonstrated
Facets:
Source sentences:
text: By 1928, Ackermann had communicated a modified proof to Bernays; this modified proof led Hilbert to announce his belief in 1929 that the consistency of arithmetic had been demonstrated and that a consistency proof of analysis would likely soon follow.