Computational Logic and Set Theory: Applying Formalized Logic to Analysis