Если теорему так и не смогли доказать, она становится аксиомой.

В математике невежества нет теорем — есть только аксиома бездоказательной правоты.

– Системы и теории чисел пересекаются, – сказала Амрита. По её напряжённому голосу я вдруг понял, насколько она серьёзна. – Геометрии [Евклидова и Неевклидова] не пересекаются. Разные геометрии основываются на разных теоремах, постулируют разные аксиомы и дают начало разным реальностям. – Разным реальностям? – переспросил я. – Как это реальности могут быть разными? – Возможно, не могут, – согласилась Амрита. – Возможно, «реальна» лишь одна. Но тогда возникает вопрос: что будет со мной – с нами всеми, – если мы выбрали ложную?

Генератор случайных чисел понял истину и стал генератором не случайных чисел.