User
Напоминает тезис из мат.логики: любая проблема 1:1 формализуется в логике первого порядка, если явно задать все подразумеваемые условия.
Напоминает тезис из мат.логики: любая проблема 1:1 формализуется в логике первого порядка, если явно задать все подразумеваемые условия.