Objects
An object is an symbol which may be referenced by predicates or relations in a sentence. Objects may be quantified, or created by the programmer. Objects cannot be overwritten if they are referenced in any sentence expression value.
An object identifier must begin with a letter or an underscore, and may subsequently contain letters, digits, and underscores. By convention, object identifiers use only upper-case letters. Objects share the same namespace as variables.
In the default library of proofs, objects represent sets in ZFC set theory. However, objects may represent anything the axioms describe.
Note
Objects are only labels. No internal information about an object is stored. Instead, Sentences may describe objects.
Creation
Objects may be created locally by quantifiers. Unquantified objects are created with either the given command or the pipe operator applied to a sentence beginning with an existential quantifier.
Examples
The following are examples of valid object identifiers:
NATURALS
X
_temp0
The following are examples of invalid object identifiers:
0_TEST
A<A
~OBJ~