Sería tan difícil como demostrar que una oración no es un teorema. (De hecho, estos problemas son intercambiables. ¿Se te ocurre una oración que sería un teorema si y solo si\mathcal{A} y\(\mathca...Sería tan difícil como demostrar que una oración no es un teorema. (De hecho, estos problemas son intercambiables. ¿Se te ocurre una oración que sería un teorema si y solo si\mathcal{A} y\mathcal{B} fueran demostrablemente equivalentes?)
