3 ms·
As far was most mathematicians and computer scientists would go, ZF and predicate logic together with a fixed definition of turing machines.
by javra 9y ago
As far was most mathematicians and computer scientists would go, ZF and predicate logic together with a fixed definition of turing machines.