Аксиома бесконечности ZFC

[alex_dorin]

Аксиома бесконечности приведенная в А. Мостовский "Конструктивные множества и их приложения" имеет вид
отличный от классического. В какой-то публикации утверждалась эквивалентность ее классической форме.
Аксиома бесконечности, предложенная А. Мостовским
выводима из классической аксиомы бесконечности , изложенной Someone
я проверил это прувером Vampire 4.0
Обратное доказать пруверами SPASS, Vampire, Metis не удалось за обозримое время.
Наверное, классическая форма аксиомы бесконечности сильнее.