Define the injective map f:Z+->X^w (Z+ is the set of positive integers and w is omega) where X is the two-element set {0
Posted: Tue Sep 07, 2021 7:22 am
Define the injective map f:Z+->X^w (Z+ is the set of positive
integers and w is omega) where X is the two-element set {0,1},
without using the choice of axiom
integers and w is omega) where X is the two-element set {0,1},
without using the choice of axiom