Citizendium - a community developing a quality, comprehensive compendium of knowledge, online and free.Click here to join and contribute |

CZ thanks our previous donors. Donate here. Treasurer's Financial Report |

# Proof (mathematics)/Related Articles

From Citizendium

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

## Parent topics

- Philosophy of mathematics [r]:
*Add brief definition or description* - Mathematical logic [r]:
*Add brief definition or description* - Proof theory [r]:
*Add brief definition or description*

## Subtopics

- Constructive proof [r]:
*Add brief definition or description* - Existence proof [r]:
*Add brief definition or description* - Proof by induction [r]:
*Add brief definition or description* - Proof by contradiction [r]:
*Add brief definition or description*

- Symbolic proof [r]:
*Add brief definition or description* - Computer proof [r]:
*Add brief definition or description* - Computer-aided proof [r]:
*Add brief definition or description* - Computer-verifiable proof [r]:
*Add brief definition or description* - Zero-knowledge proof [r]:
*Add brief definition or description*

- Axiom [r]:
*Add brief definition or description* - Hypothesis [r]: A causal relationship thought possible.
^{[e]} - Theorem [r]:
*Add brief definition or description* - Conjecture [r]:
*Add brief definition or description* - Decidability [r]:
*Add brief definition or description* - Gödel's incompleteness theorem [r]:
*Add brief definition or description*