This study presents a fresh take on mathematics' foundations, arguing that mathematics is essentially about "information compression (IC) via pattern matching and unification" (ICMUP). That,...