一阶逻辑(十八)
发布人