Math 214-04: Foundations of Mathematics (Fall 2016)