3 ms·Um, Gödel's incompleteness theorem is not a valid reason not to pursue formally verified software.by Ericson2314 8y agoUm, Gödel's incompleteness theorem is not a valid reason not to pursue formally verified software.