m which is not apart of statements in the object language that areapplied to objects such as numbers or sets.So, not using a term variable t, one would stillhave0 is a termS0 is a termSS0 is a termSSS0 is a termand so on.Moreover, in this simple explanation, I did not evenattempt to talk about quantifiers.