The "at most" clause is all that is needed since it can be proved from the remaining axioms that at least one parallel line exists.
Фраза «максимум одна», это всё, что нужно, поскольку из остальных аксиом можно доказать, что хотя бы одна прямая существует.