Template:AxiomReview

Proofs that use the Axiom of Choice (or a similar axiom) are sometimes followed by a note that says it does. Similarly, if it is remarkable that a proof does not use a certain axiom, this can be emphasized in a note.

Use this template when you're not sure if an axiom is used, and when it would be worth to add a remark about it.

Also see

 * Category:Axiom templates