1. moyvaneT kardinaluri da ordinaluri ricxvebis gansazRvreba. მოიყვანეთ შესაბამისი
მაგალითები. 2. daamtkiceT, rom binaruli mimarTeba kardinalur ricxvTa simravleSi tranzitulia da refleqsuri. 3. CamoayalibeT peanos postulatebi. induqciiT daamtkiceT, rom n (0) = n yoveli n –saTvis N-dan. 4. daamtkiceT, rom nebismieri funqciisTvis f : X X da nebismieri m, n N, sruldeba toloba m n n m (f ) =( f ) .