Перечислить аксиомы