Strong Well-Foundedness And The Genericity Of Countable Sets