###### Infinitely More β’ 10 implied HN points β’ 24 Feb 24

- With first-order logic, subtle features can help distinguish mathematical structures from similar alternatives.
- Different mathematical structures can be differentiated by how symbols are interpreted in each structure, revealing unique properties.
- Finding statements in the language of orders that are true in one structure and false in others can help distinguish mathematical structures.