Archive Notes
Search
Search
Dark mode
Light mode
Reader mode
Explorer
Home
❯
University
❯
1. Glossary
❯
Axiom
Axiom
Properties
2
tags
module4ccs1ela
,
topicproof
,
topicpredicatelogic
,
topicpropositionallogic
,
module4ccs1fc1
,
typedefinition
aliases
axiom
Jun 18, 2026
1 min read
An
axiom
is a
proposition we can assume to be true
.
Graph View
Backlinks
8. Theorems and proofs