logo
Predmet

[Править]Логика второго порядка

1. Логика 2-го порядка, основные отличия ее от логики 1-го порядка. Определение предиката равенства. Формула, выражающая конечность. Аксиоматизация арифметики. Неперечислимость логики второго порядка.