The Partial Order
An \ell^2 decision theory axiom library