Логика и метаматематические исследования

И поэтому, для того, чтобы учесть и использовать специфику единичных высказываний, мы в нашем построении исчисления предикатов будем использовать предметные константы. В теоретическом метаматематическом плане это даст нам более наглядную возможность провести различие между теорией множеств Кантора и аксиоматической теорией множеств с аксиомой выбора Цермело, Френкеля и фон Неймана (признаваемой сегодня большинством математиков, тогда как канторовская теория называется многими "наивной"): для нас существенно то, что все элементы любого множества попарно различны (один и тот же элемент не может более одного раза входить во множество).

www.tgoop.com/logic_metamathematics/888

391 viewsJan 18 at 02:20

И поэтому, для того, чтобы учесть и использовать специфику единичных высказываний, мы в нашем построении исчисления предикатов будем использовать предметные константы. В теоретическом метаматематическом плане это даст нам более наглядную возможность провести различие между теорией множеств Кантора и аксиоматической теорией множеств с аксиомой выбора Цермело, Френкеля и фон Неймана (признаваемой сегодня большинством математиков, тогда как канторовская теория называется многими "наивной"): для нас существенно то, что все элементы любого множества попарно различны (один и тот же элемент не может более одного раза входить во множество).

BY Логика и метаматематические исследования