。 注意，以下都是二阶逻辑的表达，它们不可以被表达成一阶逻辑的。原理1不需要“=”（或其他替代的符号如 "R" ）有自反关系，但两个性质却都需要对称性和传递性（见证明小箱子）。因此，原理1和传递性有时被用作相等关系的（二阶）公理。原理1被认为是逻辑真理，（至少对大部分）是没有争议的。 但原理2，有时则被认为是有争议的，最着名的反驳请见。
批判.
对称宇宙.用反例驳倒了不可分者同一性原理。注意到不可分者同一性原理是假的，充分地可以蕴含这样一个模型，模型里