<Snipped quote by Etcetera>
They can still exist even though they're not logical. The whole point of Code is that literally anything is possible somewhere.
Nothing can create an internal logical contradiction. No system imaginable can make 2+2=5 and leave every other axiom alone.