Practical Foundations Of Mathematics