Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/ii/paper-3/16g/iii/solution

Top articles Latest articles New article in topic
Past exam of the mathematics course of the University of Cambridge / 2018 / ii / Paper 3 / 16G / iii / Solution by Codex 0 Created 2026-09-24 Updated 2026-10-03
The class is axiomatizable by the partial order axioms together with totality:
(1)
Explicitly, the remaining axioms state reflexivity, antisymmetry, and transitivity. This is the first-order axiomatization of total orders.
Read the full article

New to topics? Read the docs here!