Trilemma¶
Core Idea¶
Three nominally desirable properties cannot be jointly guaranteed under a stated condition, so the design space collapses to pick any two; the third must yield — a discrete corner geometry sharper than a binary trade-off, carrying its own dissolution moves (scope the constraint, or split it with a fourth property).
How would you explain it like I'm…
Pick Two Of Three
Imagine you want your snack to be cheap, tasty, and healthy — but you can only ever get two of those at once. Cheap and tasty will not be healthy. Healthy and tasty will not be cheap. There are three things you wish for, but you always have to give one up.
The Pick-Two Triangle
Suppose three good things — fast, cheap, and good quality — and a rule that says you can never have all three together. You're forced into a 'pick any two' triangle: fast and cheap means lower quality; cheap and good means slow; fast and good means pricey. This is sharper than a normal trade-off between just two things, because the magic number is exactly three, and there's an actual proof or strong reason it's impossible to get all three. Each pair you pick is its own distinct plan with its own weak spot — the thing you gave up. Sometimes you can even escape the triangle by changing the problem: add a fourth ingredient that splits it up, or shrink when the rule applies so it doesn't always bite.
Pick-Any-Two Triangle
A Trilemma is the pattern where three individually desirable properties cannot be jointly guaranteed under a stated condition, so the design space collapses to 'pick any two; the third must yield.' It is sharper than a generic two-way trade-off because a specific number — three — combines with a specific kind of constraint — a demonstrated impossibility — to produce a small, discrete set of allowed configurations. Every trilemma specifies three precisely defined properties, a constraint or proof (a theorem, a model result, or a robust empirical regularity) showing all three at once is infeasible, and a forced-choice triangle where each pair of properties is a distinct achievable design with its own way of degrading the third. What makes it more than a slogan is a fourth feature: a distinctive set of moves with no two-way analogue, including dissolution — adding a fourth property that splits the constraint into smaller solvable problems, or scoping the condition so the impossibility no longer always binds.
A Trilemma is the structural pattern in which three nominally desirable properties cannot be jointly guaranteed under a stated condition, so the achievable design space collapses to a 'pick any two; the third must yield' shape. The pattern is sharper than a generic binary trade-off because it specifies not merely that objectives compete, but that a particular cardinality — three — combines with a particular kind of constraint — a demonstrated impossibility — to produce a small, discrete taxonomy of admissible configurations. Every trilemma specifies (1) three properties, each individually desirable and operationalized precisely enough to be jointly evaluated; (2) a constraint or proof — formal theorem, model-theoretic result, or robust empirical regularity — establishing that simultaneous satisfaction of all three is infeasible; (3) a forced-choice triangle, in which each pairwise subset of two properties corresponds to a distinct achievable design with a characteristic degradation profile for the surrendered third; and (4) a characteristic intervention catalogue that differs in kind from the binary case. The fourth commitment is what makes the trilemma a prime rather than a slogan: a binary trade-off invites only 'move along the frontier,' whereas a trilemma additionally admits dissolution moves with no binary analogue — introducing a fourth property that splits the constraint into smaller, separately-soluble problems, and scoping the constraint condition so the impossibility does not always bind. These moves change the structure of the problem rather than merely re-pricing it; the trilemma is the n = 3 specialization of competing objectives carrying its own discrete corner-and-dissolution geometry.
Broad Use¶
- Distributed systems: the CAP theorem — consistency, availability, and partition tolerance cannot all be guaranteed under partition.
- Macroeconomics: the Mundell-Fleming impossible trinity of fixed exchange rate, free capital flows, and independent monetary policy.
- Project management: the iron triangle of scope, schedule, and budget — "good, fast, cheap, pick two."
- Energy policy: the World Energy Council trilemma of low-carbon, reliable, and affordable supply.
- Political economy: Rodrik's globalisation trilemma of deep integration, national sovereignty, and democratic politics.
- Consensus theory: the FLP impossibility of fault-tolerant, fully asynchronous, deterministically terminating agreement.
Clarity¶
Distinguishes a forced impossibility (proven, no cleverness admits all three) from a negotiable trade-off, and exposes the failure of pretending otherwise: refusing to choose silently degrades one property.
Manages Complexity¶
Collapses a high-dimensional design space into a small named taxonomy — three corners, an interior compromise, and two dissolution moves — that doubles as a worklist.
Abstract Reasoning¶
Supports counterfactual reasoning: holding the impossibility fixed, trace what changes if a different property is surrendered, and recognise the shape on first encounter in a new field.
Knowledge Transfer¶
- Distributed systems → economics: PACELC's scoping move maps to separating short-term from long-term capital flows.
- Across domains: the diagnostic "name the corner you are actually on" travels intact, inoculating against the universal claim of having "solved" a trilemma that was in fact silently moved along.
Example¶
A government claiming to deliver low-carbon, reliable, and affordable electricity is usually on an undeclared corner whose degradation — deferred grid investment — surfaces later as either price spikes or outages.
Relationships to Other Primes¶
Parents (1) — more general patterns this builds on
- Trilemma is a kind of Trade-offs — The file states trilemma is 'the n=3 specialisation of competing objectives' / 'widely (and not wrongly) regarded as a special case of trade_offs' — three desirables + a proven impossibility yielding a discrete pick-two taxonomy plus dissolution moves the binary case lacks.
Path to root: Trilemma → Trade-offs → Constraint
Not to Be Confused With¶
- Trilemma is not Trade-offs because a binary trade-off offers continuous substitution and only "move along the frontier," whereas a trilemma adds a cardinality of three plus a proven impossibility, yielding discrete corners and dissolution moves.
- Trilemma is not Multiobjective Optimization because optimization seeks Pareto-efficient points over a continuous frontier, whereas a trilemma is the discrete case where exactly three desirables meet a hard infeasibility.
- Trilemma is not Constraint as such because a constraint tells you what is infeasible, whereas the trilemma tells you what the feasible region looks like and how to navigate its corners.