This joke video is about how Internet Service Providers (aka ISPs, internet companies, telecommunications companies, etc) violate the basic axioms of Zermelo-Fraenkel set theory. Like the axiom of choice (sometimes Well-ordering theorem), the Axiom of extensionality, Axiom of regularity (also called the Axiom of foundation), Axiom schema of specification, Axiom of pairing, Axiom of union, Axiom schema of replacement, Axiom of infinity, Axiom of power set.