If contradictions do not entail all propositions, the inference from R∈R ↔ R∉R to R's exclusion from...