Calude, C. Axiom Bits and Proof Length: Short Review. SI 2026, 3.