Assertion: argument's statement | /r/HasProperty | the application of mathematics
Facets:
Source sentences:
text: Both the statement of Hilbert's program and its refutation by Gödel depended upon their work establishing the second area of mathematical logic, the application of mathematics to logic in the form of proof theory.