A Mathematician Looks at Copyright Extension

There's a theorem in mathematical logic which says:

If a set Γ of sentences has arbitrarily large finite models, then it has an infinite model.

In other words, copyright extension can be forever … which is not in accordance with the Constitution.

Maybe copyright extension should have been fought on mathematical grounds instead of trying to explain the benefits of a “Creative Commons.”