Comment Comment by meithecatte Checking whether a string of bits encodes a proof of False in ZF is decidable. Now enumerate the bitstrings and check each. parent meithecatte 3 years ago
