Finiteness assumption in explorable media

Explorable and interactive media seem to bake in an assumption of finiteness, which makes it challenging to interact with the infinite and arbitrary objects that appear in mathematics.

Examples:

• The Witness builds up complex puzzles starting from simple ones. But each puzzle is finite (finite board size, finite state space)