Time is dispensable in thermodynamics

Newton C. A. da Costa, Adonai S. Sant'Anna

We use Padoa's principle of independence of primitive symbols in axiomatic systems in order to show that time is dispensable in continuum thermodynamics, according to the axiomatic…