Isn't this circular logic?
7
1
$begingroup$
Suppose you have A iff B iff C. If you assume A to be true to prove B, B to be true to prove C, and C to be true to prove A, then doesn't that imply you've assumed A to be true to prove A? I ask because of the method of proof in https://proofwiki.org/wiki/Equivalence_of_Well-Ordering_Principle_and_Induction.
logic
share | cite | improve this question
asked 11 hours ago
Jossie Calderon Jossie Calderon
209 1 11
$endgroup$
...