Integer ($\mathbb{Z}$)

Ancestors

• Number
• Formalization of mathematics
• Mathematics
• Ciro Santilli's Homepage

Incoming links

• Cardinality
• Finite field
• Numeric function
• Recursive set
• Ring
• Undecidable Diophantine equation problems