How ISPs Violate the Laws of Mathematics

TL;DR

The complaint begins with the same service elements being priced differently, framed as a violation of ZF’s axiom that equal sets must have the same elements.

Briefing Cornell Notes

Briefing

An internet service provider’s pricing and “bundled options” are framed as a cascade of violations of Zermelo–Fraenkel (ZF) set theory—so many, in fact, that the math becomes a way to spotlight how customer contracts can behave like an inconsistent system. The core complaint is simple: the same set of services is offered at different prices (price B higher than price A), and the company treats “options” as if they were mathematically identical while charging differently. That mismatch becomes the first alleged breach: in ZF set theory, two sets are equal only if they contain the same elements.

The call escalates through a series of increasingly specific “axiom failures.” When the provider claims that the offered plan is “all that we can offer,” the story links that claim to the second axiom’s idea that a set cannot be a member of itself—because the “set of all options” is treated as identical to a particular option, implying a self-containing structure. Then comes the manager’s counteroffer: internet plus a home Wi‑Fi router for a lower price than the original higher charge, but with a catch—customers can’t choose the router separately. That restriction is treated as a violation of the axiom about forming subsets from elements, since the “subset” (internet without the router) is not allowed as a standalone option within the offered bundle.

The bundling strategy is also portrayed as a near-perfect match for one axiom—combining existing sets into new ones—yet it still creates contradictions elsewhere. The narrative turns to the “power set” idea: if all possible combinations of services are available, then every subset combination should exist as a legitimate option. But the provider’s structure implies that some combinations (like internet plus router without paying for the router) are not permitted, even though the underlying accounting treats components as separable. The story then claims multiple additional axiom breaks (including ones tied to how sets are specified and how infinite collections are handled), culminating in the punchline: after proposing a workaround—accept the $45 option (internet for $40 plus $5 for the router) and then return the router to avoid paying for it—the representative responds with the one answer mathematicians dread and customers love: “I can’t tell you you can’t do that.”

Under the jokes, the point is pointed. Contracts and pricing structures can behave like a system that doesn’t respect basic consistency rules: identical service “elements” get different prices, bundles are treated as both decomposable and non-decomposable depending on what benefits the company, and “available options” are defined in ways that don’t line up with the implied set of all combinations. The math framework isn’t meant as a literal legal argument; it’s a lens for showing how everyday business logic can contradict itself when translated into precise rules.

Cornell Notes

The story uses Zermelo–Fraenkel set theory as a satirical checklist to judge an internet provider’s pricing and bundling. When the same services appear under different prices, the narrative treats it as a failure of the axiom that equal sets must have the same elements. Claims about “all options we can offer” and restrictions on splitting bundles are framed as additional axiom violations, especially around self-membership and forming subsets. The argument tightens around bundling: if components are treated as separate elements, then all combinations (subsets) should be available in a mathematically consistent “power set.” The ending hinges on a workaround—accept the bundle, then return the router—prompting a response that signals the company can’t enforce the implied logic consistently.

How does changing the price for the “same services” map onto a ZF set theory idea?

The narrative treats each “option” as a set of service elements. ZF’s first axiom says two sets are equal only if they contain the same elements. If price A and price B correspond to the same service elements but different prices, then the story claims the sets of services are being treated as equal in content while being treated as unequal in value—an inconsistency framed as “B ≠ A” even though the elements match.

Why does the phrase “all that we can offer” trigger a self-membership axiom complaint?

The story links the provider’s claim to the second axiom’s prohibition on a set being a member of itself. If “the set of all options we can offer” is treated as identical to a particular option being offered, then the “set of all options” effectively contains itself through that identification. In the narrative’s logic, that’s a self-referential structure ZF disallows.

What does the router bundling restriction have to do with subset formation?

After being offered internet plus a router for $45, the customer asks to take the internet without the router. The refusal is framed as violating the axiom that lets you form subsets from elements while still having a legitimate set. In the story’s translation, the internet-only component is an element of the bundle, so a subset (internet without router) should exist as an allowed option—yet it’s denied.

How does “bundling” simultaneously resemble one axiom and break others?

The narrative credits the provider for “bundling” as a close match to the axiom about combining existing sets into new sets—creating a larger set (internet + router) from smaller ones. But it argues the same bundling logic breaks later consistency requirements: if components are treated as separable elements, then the full collection of service combinations (a power set of subsets) should be representable as options, not selectively omitted.

What is the power-set contradiction the story claims to discover?

The story lists possible monthly services as elements like “internet for $40” and “wifi router for $5,” then treats “internet plus router” as a combination. It argues that if “possible service combinations” includes all possible combinations, then “internet for $40” should appear as a subset option within that set. Yet the provider’s rules exclude certain subsets (like internet without paying for the router), implying the option set isn’t closed under forming all subsets.

Why does the final “I can’t tell you you can’t do that” matter in the logic of the story?

The workaround proposes accepting the $45 bundle (internet for $40 plus $5 for the router) and then returning the router to avoid paying for it. The representative’s response—refusing to forbid the plan—undercuts the company’s earlier insistence that the bundle structure is fixed and non-decomposable. In the narrative’s framing, it’s the moment when the implied “axiomatic system” stops enforcing its own constraints.

Review Questions

Which specific pricing change is treated as the earliest ZF axiom failure, and what set-theoretic principle is invoked?
How does the story use the idea of “all options we can offer” to create a self-membership problem?
What contradiction arises when the provider treats bundle components as separable for pricing but not separable for choosing options?

Key Points

1
The complaint begins with the same service elements being priced differently, framed as a violation of ZF’s axiom that equal sets must have the same elements.
2
“All that we can offer” is treated as self-referential, triggering a claimed conflict with ZF’s ban on a set being a member of itself.
3
Bundling internet with a router while refusing internet-only selection is framed as preventing subset formation from bundle elements.
4
The story argues that if all service combinations are legitimate, then every subset combination should be available, invoking the power set idea.
5
Selective availability of options is portrayed as breaking closure: components are priced as if separable, but combinations are restricted as if not.
6
The ending workaround—accept the bundle and return the router—highlights a mismatch between asserted constraints and what the provider is willing to enforce.
7
ZF set theory is used as a satirical consistency framework, not a literal legal standard, to critique contract logic and pricing behavior.

Highlights

Different prices for the same underlying services are framed as a set-equality contradiction: same elements, different “sets.”

The phrase “all that we can offer” is treated like a self-referential set claim, tied to ZF’s rule against self-membership.

Bundling is praised as “combining sets,” but criticized for refusing the subsets customers would expect if components are truly separable.

The story’s punchline is a customer workaround that the provider can’t outright forbid: accept the bundle, then return the router.

Topics

Set Theory
ZF Axioms
Internet Pricing
Bundling
Customer Contracts