Yes, the "missing axiom" of matroid theory is lost forever

Dillon Mayhew, Mike Newman, Geoff Whittle

We prove there is no sentence in the monadic second-order language MS0 that characterises when a matroid is representable over at least one field, and no sentence that characterise…