axiomatizable перевод
Перевод
Мобильная
- аксиоматизируемый finitely axiomatizable class ≈ конечно
аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно
аксиоматизируемое квазимногообразие finitely axiomatizable system ≈
конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно
аксиоматизируемая теория finitely axiomatizable variety ≈ конечно
аксиоматизируемое многообразие recursively axiomatizable theor ≈
рекурсивно аксиоматизируемая теория universally axiomatizable class ≈
универсально аксиоматизируемый класс universally axiomatizable subclass
≈ универсально аксиоматизируемый подкласс - axiomatizable class -
axiomatizable system - axiomatizable theor - axiomatizable type
- axiomatizable class: мат. аксиоматизируемый класс
- axiomatizable system: мат. аксиоматизированная система
- axiomatizable theor: мат. аксиоматизируемая теория
- axiomatizable theory: матем. аксиоматизируемая теория
- axiomatizable type: мат. аксиоматизируемый тип
- finitely axiomatizable: матем. конечно аксиоматизируемый
- non-axiomatizable: неаксиоматизуемый
- recursively axiomatizable: матем. рекурсивно аксиоматизируемый
- universally axiomatizable: матем. универсально аксиоматизируемый
- finitely axiomatizable class: матем. конечно аксиоматизируемый класс
- relatively axiomatizable class: матем. относительно аксиоматизируемый класс
- universally axiomatizable class: матем. универсально аксиоматизируемый класс
- axiomatizability: аксиоматизируемость, аксиоматизуемость - calculable axiomatizability -finite axiomatizability - universal axiomatizability
- axiomatics of observables: аксиоматика наблюдаемых
- axiomatics: 1) аксиоматика (совокупность исходных понятий или определений)
- axiomatically: Axiomatically