Assertion: standard mathematical notation | /r/ObjectUse | used in axiomatic set theory
Facets:
Source sentences:
text: Z is based on the standard mathematical notation used in axiomatic set theory, lambda calculus, and first-order predicate logic.