Dado que nos basaremos en axiomas, tenemos que nuestra demostración (siendo cada paso lógico correcto) es verdadera.