填空题

【参考答案】

策梅洛-弗兰克尔公理系统