Axiomatic metaphysics