强可公理化理论
_
strongly axiomatizable theory
сильно аксиоматизируемая теория
примеры:
拟可公理化的
quasiaxiomatizable
пословный:
强 | 可 | 公理化 | 化理 |
Iтк. в соч. упрямый; упорный
II [qiáng]1) сильный; мощный
2) с помощью силы; силой; насильно
3) (быть) лучше; превосходить
4) свыше; более
III [qiăng] 全词 >>1) через силу; еле-еле
2) тк. в соч. заставлять; принуждать
|
2) однако; в самом деле; в конце концов 3) да вот ...; только вот не знаю... 4) разве [не], неужели [не]; откуда бы, где уж тут |
1) 教化治理。
2) 佛家指事物变化之理。
|
理论 | |||
1) теория; учение; доктрина; теоретический
2) оспаривать; спорить
3) обращать внимание
4) навести порядок
|