While not applicable for all claims, some can be verified by consistency. For example, claims a and b cannot both be true if a is inconsistent with b, and this

While not applicable for all claims, some can be verified by consistency. For example, claims a and b cannot both be true if a is inconsistent with b, and this hold regardless of who claims a or b.