For some transitive models M of ZFC, every sequence of integers in M is definable relative to M; for others, only some integer sequences are (Hamkins et al. 2013).
Для деяких транзитивних моделей M ZFC кожна послідовність цілих чисел у M визначена відносно M; для інших лише деякі цілі послідовності (Hamkins et al. 2013).