Foundation of Mathematics, Math 0409, Fall 2015