Text this: Foundation of mathematics with application