21
Some Great Theories
Dense linear orders with no endpoints [in class]
(N, 0, S)
[in class]
(N, 0, S, +) Pressburger Arithmetic
(N, +,
£
) : Godels incompleteness theorem