Template:AoF

Template
Include this template at (or near) the bottom of any page which depends, either directly or indirectly, on the.

Usage
This template can be invoked as:


 * AoF

or:


 * proof

where  is the  page name of a proof which itself depends on the.

If you want this to apply to just one of the proofs of a given theorem, then there exists an optional second parameter which is a number (usually 3 or 4) determining the level of heading that the text of this template appears at. The default is 2 (standard heading) when the template itself is used so as to apply to the entire page.

Note: The current implementation is that only level 4 is available in this context.

Inclusion of this template will result in the page being added to the Axiom of Foundation category, and the following being added to the page:

Axiom of Foundation
This theorem depends on the, by way of (link to proof name).

Most mathematicians accept the, but theories that reject it, or negate it, have found applications in Computer Science and Linguistics.

This depends on the.

Most mathematicians accept the, but theories that reject it, or negate it, have found applications in Computer Science and Linguistics.