SMS dit: Foundation of mathematics with application