Универсальный генератор виртуальной реальности — это генератор, репертуар которого содержит каждую физически возможную среду.
Среды Кантгоуту — логически возможные среды, которые не сможет передать ни один физически возможный генератор виртуальной реальности.
Диагональное доказательство - вид доказательства, при котором представляют список категорий, а затем используют этот список для создания родственной категории, которой не может быть в этом списке.
Машина Тьюринга — одна из первых абстрактных моделей вычисления.
Универсальная машина Тьюринга — машина Тьюринга с репертуаром, содержащим репертуары всех машин Тьюринга.
Принцип Тьюринга (в самой жизнестойкой форме) — построить Универсальный генератор виртуальной реальности физически возможно. При сделанных мной допущениях это означает, что не существует верхней границы универсальности генераторов виртуальной реальности, которые действительно будут построены где-то в мультиверсе.