Propositional Logic (Also Boolean Logic) Predicate Logic (Also First-order Logic) Gödel's Incompleteness Theorem