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:
“For it is only the finite that has wrought and suffered; the infinite lies stretched in smiling repose.”
—Ralph Waldo Emerson (1803–1882)