fffz兼容规则
(每一次替换后用新的[α,β]判定)
(下列规则按顺序执行，前n条规则均无法执行时才能执行第n+1条规则)
1、对于任意的[α,β]，若α=0，则不存在[α,β]；若β=0且α≠0，则存在[α,β]；若α+β＜ω，则[α,β]的真假性等价于α＞β的真假性
2、对于任意的能用ψZ表示成[ψZ[α](β),ψZ(γ)]或[ψZ[#,α](β),ψZ[#](γ)]的二元兼容，若α＞γ且[β,γ]存在，则该二元兼容存在，否则执行下一条规则
3、对于任意的[α,β]，若α和β用ψZ表示时均不带中括号或中括号相同，则将α和β同时替换为用ψZ表示时小括号内的值
4、对于任意的[α,β]，若α或β用ψZ表示时中括号末项为后继序数，则将其替换为用ψZ表示时小括号内的值(若α和β用ψZ表示时中括号末项均为后继序数，则优先对α进行替换)
5、对于任意的[α,β]，找到α和β中较大的一项，若其用ψZ表示时带有中括号，则将其替换为用ψZ表示时的中括号末项值，否则将其替换为用ψZ表示时小括号内的值
6、对于任意的多元兼容，若对于其中任意两项α和β(β在α的右侧)，均有[α,β]存在，则该多元兼容存在，否则不存在