合金——巴伯悖论的解决方案仍然不一致

Question

众所周知，如果有多个理发师，他们可以互相刮胡子，理发师悖论就解决了。

本规范一致：

 sig Man {shaves: set Man} 
 some sig Barber extends Man {} 
 fact {   
   Barber.shaves = {m: Man | m not in m.shaves} 
 } 
 run { } for 4

然而，以下内容，尽管看起来相同，但仍然不一致：

sig Man {
 shavedMen : set Man
}
fact {
 # {barber:Man | barber.shavedMen = {m: Man | m not in m.shavedMen} } > 1
}
run {} for 4

为什么？

Answer 1

首先你要约束： 所有理发师都剃过的那组男人都是不自己刮胡子的男人

编辑 我对第二个事实的解释当然不够清楚。 你说如果一个男人刮胡子的人的集合等于所有不刮胡子的男人的集合（包括他，这就是不一致的来源，这就是这个问题的全部乐趣），那么他被认为是理发师。