equivalent characterizations of finiteness in ZFC
1.
Proposition
Dedekind-infinite Set
2.
Proof
Date: nil
Author: Anton Zakrewski
Created: 2024-10-13 So 15:58