- A certain school in the philosophy of mathematics, stressing axiomatic proofs through theorems specifically associated with David Hilbert.
- A certain rigorous mathematical method: see formal system.

*This is a disambiguation page; that is, one that points to other pages that might otherwise have the same name. If you followed a link here, you might want to go back and fix that link to point to the appropriate specific page.*