Inexpressibility in Exp-Minus-Log (by unprovable) — discussion

#math