Logic
    axioms (de morgan)
    quantifiers
    English ←→ Logic
    equivalence
    entialment
Sets
    sets
    operators on sets (membership, subset)
Induction
    proof technique
        P(0)
        P(n) → P(n+1)
        ∴ ∀n in N n ≥ 0 . P(n)
Contradiction
    proof technique
        ¬A proves false
        ∴ A
Combinatorics
    summation notation
    choose
    factorial
    stuff about picking and how many options
Structures
    everything else
        sequences
        symbols
        strings
        graphs
        automata/state machines
        relations and propertys thereof
        logarithms