The Deranged Mathematics: On Nonconstructive Proofs that there is a Solution