# Theory (mathematics)/Related Articles

From Citizendium, the Citizens' Compendium

*See also changes related to Theory (mathematics), or pages that link to Theory (mathematics) or to this page or whose text contains "Theory (mathematics)".*

## Parent topics

- Mathematics [r]: The study of quantities, structures, their relations, and changes thereof.
^{[e]}

## Subtopics

- Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions.
^{[e]}

- Set theory [r]: Mathematical theory that models collections of (mathematical) objects and studies their properties.
^{[e]}

- Mathematical notation [r]: A system of symbolic representations of mathematical objects and ideas.
^{[e]}

- Mizar (software) [r]: A software package for automated verification of mathematical definitions and proofs.
^{[e]}