The purpose of this blog is for me to discover facts by starting at the foundation of inquiry, then continuing up from there, and share them.
Def = Definition
Def. = Definition (to be cited later)
AKA = also known as
The Foundation
1. Primitive concepts
2. Formal language
3. Axioms
4. Why this Foundation?
First results
Guide to reading proofs
Theorems (part 1)
Theorems (part 2)
Logic in daily lives
My personal webpage