foundational mathematics for AI