Matmania, 1996

MatMania is a program for kids released in 1996 under the name of UHO Software. The software was used to study the foundations of mathematics.