LAO(Linar Array Ordinal,线性数阵序数),因在 googology 一度经典的线性数阵的极限是该序数而得名。
LAO 是 FGH 和 MGH 的第一个 Catching 点。
证明论序数:RCA0,WKL0,PRA,RCA02,CPRC,KP−+Π1set−Foundation+IND
极限在此处的记号:线性数阵,(-2)-Y,TmAF