Thus the statement is undecidable in our axiomatic system: it can neither be proved nor disproved within the system.
Thus the statement is undecidable in our axiomatic system it can neither be proved nor disproved within the system