What is a proof (propositions, predicates, axiomatic method, provind an iplication, iff, cases, contradiction)
Well ordering principle
Logical formulas (props from props, prop logic in comp programs, algebra pof propositions, predicate formulas
Mathematical Data types (sets, sequences, funcs, binary relations)
Induction
Statem achines
Recursive Data Types
infinite sets