Toy theorem

The Toy Theorem is a concept from mathematical logic, specifically in the context of set theory and model theory. However, it isn't widely recognized as a fundamental theorem like Gödel's Incompleteness Theorems or the Zermelo-Fraenkel axioms of set theory.