一阶逻辑

完善条目

维基字典