Any system requiring an oracle for first-order arithmetic to achieve completeness lacks the self-con...