Talk:Systems Of Logic/Mathematical Logic

Persistence?
If the following (small) section is going to be in the article, can we have an explanation of what it means. Personally, I've gone through a number of courses in logic and have never run into this concept, so I have no clue how to clarify it by myself.

"How about the persistence of p or q? p is p. We know this much. And we know that q is q. Do we really? Well can't they change? We must define these statements as persistent. If they change, then they are defined as new statements." Mo Anabre 05:49, 7 May 2007 (UTC)