Title: Theory and Practice of Mathematics