TOK situations in mathematics

Knowledge of abstract structure established by proof from stated assumptions. Mathematics offers the nearest thing to certainty available to a knower, and raises the sharpest questions about what its objects are and why so much of it turns out to describe the world.

Mathematics through the knowledge framework