In effect he characterized the logical including mathematical vocabulary as the largest vocabulary such that there are sentences which contain only that voca bulary and all such sentences are determinable as true or false by a purely syntactical condition.e.