Similar to NF

AFP - Abstract Family of Power
AGG - Aggregate
AGM - Arithmetic Geometric Mean
AGS - Algebra Geometry And Statistics
AGT - Anomalous Gauge Theory
AGTP - Automated Geometry Theorem Proving
AH - Arithmetical Hierarchy

View all in Mathematics