Какие правила вывода присутствуют во всех теориях первого порядка?
Правило модус поненс
Правило вывода с помощью математической индукции
Правило обобщения