Let \(A\) be a well-ordered set. Then transfinite induction
see:
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:26