Computational logic and set theory: Applying formalized logic to analysis