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