  ::::Goedel's theorem does not require ZF or the axiom of choice; it applies to very weak subsystems of Peano arithmetic. But if your system isn't effective, then there is no reason to expect Goedel's theorem to apply in the first place. — Carl ( ·  