AAnonimKimliği gizli · neredeyse 2 yıl önceFOL, birinci mertebe mantık (first‑order logic) anlamına gelir.