How can metaphysics be practiced with the rigor of mathematics?