The error comme from the use of the equivalence operator instead of the material...

		The_rationalist on May 21, 2019 \| parent \| context \| favorite \| on: Set Theory and Foundations of Mathematics The error comme from the use of the equivalence operator instead of the material Implication operator =>