Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Теорема Цермело
Георг Кантор считал, что утверждение этой теоремы является «фундаментальным принципом мысли». Действительно, любое счётное множество можно тривиально вполне упорядочить, например, перенеся порядок с множества натуральных чисел. Однако большинству математиков трудно представить себе полный порядок уже, например, множества formula_1 действительных чисел. В 1904 году сообщил, что доказал, что такого упорядочения не может существовать. Несколько недель спустя Феликс Хаусдорф обнаружил ошибку в доказательстве. Однако вскорости Эрнст Цермело опубликовал свою известнейшую работу, в которой доказал, что любое множество можно вполне упорядочить. Его доказательство опиралось на впервые сформулированную в этой же работе аксиому выбора. Вызванная этим фактом дискуссия побудила Цермело впоследствии вплотную заняться аксиоматизацией теории множеств, что привело к созданию аксиоматики Цермело — Френкеля.