Wiki. 一阶逻辑的片断 [fragFOL]