Mathematical Induction Extended Set Operations Indexed Families of Sets Well ordering principle Fibonacci sequence