CptBork: A classic example of GIT is the Liar's Paradox-like statements such as: The following statement is true: The prior statement is false. Let's treat 0 * N = 0 and x ^ 0 = 1 as axioms. If you now combine them as 0 ^ 0 you have two conflicting axioms. You have the same sort of problem you have in the pseudo-Liar's Paradox, where the statement is wrong under one rule no matter what. This is a classic example of GITS. There is no truth value in the system of mathematics for this statement. It is neither true nor false, because the system is incapable of coherently adressing the answer.