Dimostrazioni:

Leggi di De Morgan
Divisione Euclidea
Teorema fondamentale dell'aritmetica
Terorema di Euclide
Esistenza soluzioni Equazioni diofantee
Dimostrazione che le classi di equivalenza o sono uguali o sono disgiunte
Partizioni <-> Classi di equivalenza
Congruenza modulo n è una relazione di equivalenza
Classi di resto (forma)
Somma e Prodotto in Zn
Invertibiltà in Zn
Teorema di Eulero
Teorena di Fermat
Divisori dello zero


Definizioni:

Insiemi (e tutto ciò che è inerente)
Corrispondenza
Funzione (Dominio, coodominio, immagine, ...)
Assiomi di peano
Principio di induzione
Principio del buon ordinamento
Massimo Comun Divisore
Algoritmo di Euclide
Relazione
Classe di equivalenza
Insieme quoziente
Partizione
Congruenza modulo n
Gruppo
Invertibile in Zn
Funzione di Eulero
Divisori dello zero
Struttura algebrica
Anello
Campo
Fattoriale
Coefficiente binomiale
Relazione d'ordine totale
Minimo, massimo, massimali, minimali, maggioranti, minoranti, estremo superiore ed inferiore
Reticoli, Sottoreticoli, reticoli distributivi, reticoli complementari
Grafi