Длина такой системы будет зависеть от выбранного набора аксиом. Например, аксиоматика Пеано для арифметики натуральных чисел состоит из всего 5 аксиом, что является относительно короткой системой, способной описывать все математические истинности в рамках этой области. Однако, для более широкой области математики, вероятно, потребуется более длинная система аксиом. Точной длины такой системы нет, поскольку это открытый математический вопрос.