Existen tres tipos de axiomas: los axiomas algebraicos, los axiomas de orden y el axioma topológico.