Deductions
- mathematical beauty has quality class ⇐ (quality is a class), (mathematical beauty has quality quality)
- mathematical beauty has quality abstract entity ⇐ (type is a abstract entity), (mathematical beauty has quality type)
- mathematical beauty has quality entity ⇐ (taxonomic rank is a entity), (mathematical beauty has quality taxonomic rank)
- mathematical beauty has quality taxonomic rank ⇐ (mathematical beauty is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- mathematical beauty has quality superclass ⇐ (mathematical beauty is subclass of abstract entity), (abstract entity has quality superclass)
- mathematical beauty has quality type ⇐ (criterion is a type), (mathematical beauty has quality criterion)
- mathematical beauty has quality existence ⇐ (mathematical beauty is subclass of entity), (entity has quality existence)
- mathematical beauty has quality criterion ⇐ (mathematical beauty is subclass of class), (class has quality criterion)
- mathematical beauty has quality quality ⇐ (mathematical beauty is subclass of class), (class has quality quality)
- mathematical beauty has quality property ⇐ (mathematical beauty is subclass of class), (class has quality property)
- mathematical beauty is subclass of class ⇐ (mathematical beauty is subclass of convention), (convention is subclass of class), (is subclass of is a transitive relation)
- mathematical beauty is subclass of abstract entity ⇐ (mathematical beauty is subclass of convention), (convention is subclass of abstract entity), (is subclass of is a transitive relation)
- mathematical beauty is subclass of entity ⇐ (mathematical beauty is subclass of convention), (convention is subclass of entity), (is subclass of is a transitive relation)
- mathematical beauty is subclass of convention ⇐ (mathematical beauty is subclass of beauty), (beauty is subclass of convention), (is subclass of is a transitive relation)
- number theory has quality mathematical beauty ⇐ (number theory is subclass of mathematics), (mathematics has quality mathematical beauty)