Actually, we only think that it can be described in a consistent way. We have proven it consistent using set theory , but Godwell's theorems tell us that we cannot prove a system to be consistent without using something outside of said system (unless the system is inconsistent). This means that there is some level in our chain of proofs that cannot be proven consistent.