Assertion: real number | /r/CapableOf | support above proofs
Facets:
Source sentences:
text: Even when a construction is offered, it is usually applied towards proving the axioms of the real numbers, which then support the above proofs.