The relation of a theory of countable sets to the field equations of physics
David J. BenDaniel · Journal of Mathematical Physics · 1985
The systematic development of mathematics is based on the theory of sets. We present an axiom system in which, in contradistinction to the usual theories, it seems possible to define formal provability yet some useful mathematics can be derived. Some features of the theory suggest that these axioms can provide a possible new foundation for mathematical physics.