Da una lista de nueve axiomas, de los cuales cuatro versan con el uso del signo " = ".