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