Схема замены аксиомы

• Аксиома замены аксиом Цермело-Френкеля позволяет заменять элементы множества на другие элементы или множества. 
• Схема замены аксиом является одной из бесконечных схем аксиом в аксиоматизации ZFC. 
• Аксиома разделения также важна для использования во фрагментах ZFC и может быть единственной бесконечной схемой аксиом. 
• Схема замены аксиом не была частью аксиоматизации теории множеств Цермело, опубликованной в 1908 году. 
• Аксиома замены была независимо открыта и озвучена Торальфом Сколемом позже в том же году. 
• Фраза «Теория множеств Цермело-Френкеля» впервые была использована в печати фон Нейманом в 1928 году. 
• Цермело и Френкель активно переписывались в 1921 году, обсуждая аксиому замены. 
• Торальф Сколем обнародовал свое открытие пробела в системе Цермело в докладе, который он сделал на 5-м конгрессе скандинавских математиков. 
• Пересказана только часть статьи. Для продолжения перейдите к чтению оригинала.