Some Notions of Random Sequence and Their Set-Theoretic Foundations