PhD Candidate: "Mathematics with a Human Face: Set Theory within a Naturalized Wittgensteinean Framework"