Other examples are the law of the excluded middle in logic and the axiom of choice in set theory.

• 其他的例子包括逻辑的排中律，或是集合论的选择公设。