A Mouse Proves the Theorem

Theorem 3.3. There are natural numbers A, B, and C such that for any non-negative real r ∈ ℝ ∩ L, there is a well-founded model M of ZFC such that in M r = supₓ₀,ₓ₁∈ℝ infₓ₂∈ℝ supₓ₃∈ℝ infₓ₄∈ℝ supₘ∈ℕ infₙ₀,…,ₙₘ∈ℕ infₙₐ∈ℕ x₀² [ (n₀ − 2)² + (n₁ − m)² + n₂ + (n₃ − n₂)² + n₃ ∑ᵏ₌₀ᴬ(xₖ² − (nₖ₊₅)/(nₖ₊₄) + n₄)² + ∑ᴮᵢ,ⱼ₌₀(n₉₊₂ᵢ₃ⱼ − nᵢⱼʲ)² ]. FIGURE 3. A mouse [13].

A dense mathematical theorem and formula appear above a grayscale illustration of a mouse. The joke comes from the absurd contrast between highly advanced set theory and the caption identifying the animal simply as “A mouse,” making it a reaction image for overwhelming mathematics or needlessly complex explanations. EN: A dense mathematical theorem and formula appear above a grayscale illustration of a mouse. The joke comes from the absurd contrast between highly advanced set theory and the caption identifying the animal simply as “A mouse,” making it a reaction image for overwhelming mathematics or needlessly complex explanations.

• @memetutorial / 20578 2026-05-21