The Gap Between I
3
And The Wholeness Axiom