Math 110. Symbolic Logic
Homework 8
Find an example (different from the ones given in class) of a non-constructive proof. Give the statement and its proof. Please include reference(s) (unless you made up your example on your own).