Assertion: integer | /r/HasProperty | represented as algebraic terms
Facets:
Source sentences:
text: Integers are represented as algebraic terms built using a few basic operations (such as zero, succ, pred, etc.) and, possibly, using natural numbers, which are assumed to be already constructed (e.g., using the Peano approach).