What do I say when I want a proof of some property or axiom?
I imagine it's not "proof," and I don't mean trivially restating the axiom.
But I want to understand why an axiom is consistent with whatever we're attempting to represent using our formal system.