For example, we can represent the unsolvability, solvability of Diophantine equation 3X squared = one with the sentence, there exists an X, there exists a Y, such that X, x, X is Y and three x Y is one. 