Натуральных чисел тоже нет в природе, только конечные сегменты. Модель PA есть только у нас в голове и (мы надеемся!) в идеальном платоническом мире.
Вся математика такая. Неважно, есть ли соответствие чему-то физическому.
Важно вот что. Хорошая математика состоит в упаковке информации о каких-то вещах и связях между ними в удобный для изучения людьми вид.
Это позволяет затем приводить в изучаемый вид информацию, поступающую в голову из реальности.
Использовать AC или нет - никакого отношения к реальности не имеет. Как удобнее думать, так и думаем.

это твои персональные зоонаблюдения. потому ты видимо и индексы не читаешь.
не, на самом деле все так. "освободится место" - неплохое описание