Deakstadieđáhus: Foundation of mathematics with application