[Scarblac]

But proving inconsistency can be done - show that a contradiction follows from the axioms.