An Essentially Undecidable Axiom System