AAnonimKimliği gizli · yaklaşık 2 yıl önceFOL, First‑Order Logic yani birinci mertebe mantık sistemidir.