哥德国尔第一定理
_
первая теорема Геделя
пословный:
哥德 | 德国 | 尔 | 第一 |
Германия; германский, немецкий
|
книжн.;
ты; твой; то; тот
|
1) первый (по порядку); во-первых
2) первое, лучшее; несравненный; самый важный; самое главное
3) нововведение
|
一定 | 定理 | ||
1) конечно, наверно, определённо, несомненно, непременно, обязательно, безусловно; категорически; наверняка
2) определённый, установленный, точный
3) некоторый, определённый, известный
4) соответствующий, подходящий
5) как только [будет] принято (установлено)
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|