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:
“Sisters define their rivalry in terms of competition for the gold cup of parental love. It is never perceived as a cup which runneth over, rather a finite vessel from which the more one sister drinks, the less is left for the others.”
—Elizabeth Fishel (20th century)