Assertion: formal logic | /r/CapableOf | form part of mathematics
Facets:
Source sentences:
text: It forms part of mathematics, and is often considered the foundational discipline upon which the rest of mathematics can be built.