The top documents tagged [foundational mathematics]