一阶理论

first order theory