I guess you could rephrase OP's argument in a sound way as: a set is countable if there's a way to order it such that between every two numbers there are finite

I guess you could rephrase OP's argument in a sound way as: a set is countable if there's a way to order it such that between every two numbers there are finitely many numbers