Practical Foundations of Mathematics