形式不可判定命题
_
formal undecidable proposition
formal undecidable proposition
пословный:
形式 | 不可 | 判定 | 定命 |
форма; внешний вид, внешность, облик, фигура; тип, вид; формальный; модальность
|
1) не разрешать, не допускать, нельзя, недопустимо
2) не соглашаться
3) невозможно
|
1) выносить решение; решение (суда)
2) определять, устанавливать; судить (о ком-л., чем-л.); суждение
|
1) судьба, рок, фатум
2) будд. предопределять; предопределение; предопределённая продолжительность жизни
|
命题 | |||
1) лог., филос. суждение; предложение; лингв. высказывание; предложение
2) задать тему (для сочинения), заданная тема; мат. задать задачу
|