Аксиома
Аксио́ма ( «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Теорема де Брёйна — Эрдёша (теория графов)
Все доказательства теоремы де Брёйна — Эрдёша используют аксиому выбора.
Существуют модели математики, в которых не являются верными как аксиома выбора, так и теорема де Брёйна — Эрдёша.