邏輯一致性公設 {Schutz}