01Choice / visual
One from each
{}
A family of sets with exactly one member selected from each. Clear, compact, and friendly outside mathematics.
Logo studies · provisional
Did I make the right choice?
Two choice marks, two Banach–Tarski studies, one finite equidecomposition, one hybrid, GPT’s rejected first try, and Allan’s original logo.
02Choice / formal
The compressed axiom
∅∉𝒜 ⇒ ∃f∈∏𝒜
The sharpest mathematical signature. Best as a secondary line; quite proudly opaque at favicon size.
03BTP / schematic
Quiet duplication
→
One ball, the same five notional pieces, two balls. A ledger—not a fictional picture of the actual pieces.
04BTP / hybrid
Paradoxical braces
{P₁…P₅} ⇢ {P₁P₂}{P₃P₄P₅}
Sets plus equidecomposition in one construction. Distinctive, technical, and suspiciously like useful code.
05Equidecomposition / honest
Haberdasher hinge
△₄ ↔ □₄
A genuine finite dissection rather than simulated Banach–Tarski. Beautiful, though less specific to Choice.
06BTP / minimal hybrid
Brace / ball toggle
◯ ⇄ {•}{•}
Four curved strokes and two dots can genuinely animate between states. Strongest as a digital mark.
07GPT / rejected
GPT's rejected first try
My first attempt: five colored pieces acting out equidecomposition. Retired from contention, retained as evidence.
08Original / Allan
Original crappy logo
Allan’s original axiomofchoice.llc wordmark, preserved from the prior site as the actual historical exhibit.