A continuación hay una tabla con los nombres de los sistemas más conocidos y sus axiomas: