Mathematical proposition proven to hold if and only if the axiom of choice holds.