[Scarblac]

We do end up with something we know for sure: the whole proposition "if we take these axioms as true, then these statements hold."