Math
A finite axiomatization of the theory of the class of finite linear orders
Step-by-step mathematics solution: A finite axiomatization of the theory of the class of finite linear orders
As an Amazon Associate, I earn from qualifying purchases. For more practice problems like this, see Schaum’s Outline of Calculus, 7th Edition.
Original question: A finite axiomatization of the theory of the class of finite linear orders on Mathematics Stack Exchange, licensed CC BY-SA.