Bikini Bottom Twitter

Math is generally pure logic, but based upon arbitrary rules or unproven assumptions. In your example you assume the bag is empty and that it can hold at least 5 things.

For example, Euclidean geometry is based on the concepts of points, lines, and planes. All of those are assumed to exist as defined with no proof.

In a similar vein, philosophy generally defines a base assumption as true and works from there to form a framework.