Mathematics
Symbol
Constructible universe
First-order logic
Akaike information criterion
Upsilon Andromedae
Net
Abstraction
Metalogic