Text this: The logical structure of mathematical physics