I plan on doing a full exposition of the theory as time permits. This is a decent start.
- See Von Neumann-Bernays-Gödel axioms, though. A merge will be needed. Charles Matthews 23:00, 9 Mar 2005 (UTC)
I plan on doing a full exposition of the theory as time permits. This is a decent start.