Assertion: integer | /r/CapableOf | use natural numbers
Facets:
value: possibly
type: DEGREE
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).