Absence and presence are the same thing. I can write this out in Boolean Logic, or, if you'd rather, another system. However, I'm certain that you are aware that Gödel's Incompleteness Theorems demonstrate the inherent limitations of every formal axiomatic system, perhaps even Hilbert's program.