Integer arithmetic[1] is complex enough to suffer from either inconsistency or incompleteness and we're foolish enough to think we can have consistency and comp

Integer arithmetic[1] is complex enough to suffer from either inconsistency or incompleteness and we're foolish enough to think we can have consistency and completeness with respect to a predicate logic for drugs? It's insane that we keep duking it out because someone can't admit that they've inadvertently misidentified their subjective ontological reality for that of some external symbolic universe. See every other fight over definitions. 1. First order, finite number of axioms