Finite Axiomatizability
New Foundations can be finitely axiomatized. Two such formulations are given here.
Read more about this topic: New Foundations
Famous quotes containing the word finite:
“Any language is necessarily a finite system applied with different degrees of creativity to an infinite variety of situations, and most of the words and phrases we use are “prefabricated” in the sense that we don’t coin new ones every time we speak.”
—David Lodge (b. 1935)