Chandus digital garden

Home

❯

Areas

❯

Computer Science

❯

Proofs

❯

0 Proofs

0 Proofs

Aug 01, 20261 min read

Everything starts with a Conjecture.

Theorem - A statement proven using Postulate and logic

Axioms - synonym for postulate in modern usage.

Lemma - A helper Theorem used to prove large results.

Corollary - A result that follows directly from a Theorem

Postulate

Proof - Logical Argument that establishes a Theorem’s truth.


Graph View

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community