TY - RPRT TI - Inconsistency of the Zermelo-Fraenkel set theory with the axiom of choice and its effects on the computational complexity AU - Minseong Kim PY - 2016 UR - https://arxiv.org/abs/1203.0494 ID - 1203.0494 ER -