| 释义 |
Definition of axiomatize in English: axiomatize(British axiomatise) verb ˌaksɪˈɒmətʌɪz [with object]Express (a theory) as a set of axioms. 使（理论）公理化 the attempts that are made to axiomatize linguistics 为使语言学公理化所作的努力。 Example sentencesExamples - Moreover, the geometries axiomatized in the book have consistent and decidable extensions, namely, Euclidean or hyperbolic geometry over real-closed fields.
- Gentzen's was the most outstanding contribution to Hilbert's programme of axiomatising mathematics.
- Now Frege axiomatized arithmetic with an intuitive collection of axioms, and proofs of number theory results which he had only sketched earlier he now gave formally.
- Within politics, the eventual Truth is axiomatised according to the strategic perpetuation of hegemonic rule.
- Rather it prompted him to make the first attempt to axiomatise set theory and he began this task in 1905.
- Any one of the ordinary, everyday proofs mathematicians deal with in their work can be re-written in a formal way that fits into this framework the logicians have axiomatized.
- The Godel Incompleteness Theorem applies only to formal logic systems axiomatized in a certain way.
- Hilbert believed that all of mathematics could be precisely axiomatized.
- Many other mathematicians attempted to axiomatise set theory.
- Grammar formalisms - special-purpose systems for the description of linguistic systems and subsystems - can be thought of as logics designed to axiomatize the association of linguistic structures with strings of symbols.
- Poincaré was absolutely correct, however, in his criticism of those like Russell who wished to axiomatise mathematics.
- The construction of the reals from the integers proceeds in several stages: first axiomatize the positive integers, then construct negative from positive integers, then rationals from integers, and finally reals from rationals.
- It would build on the early work in axiomatizing branches of mathematics, as well as the monumental efforts of logicists like Frege in developing rigorous logical systems.
- Economic theories have been axiomatized, and articles and books of economics are full of theorems.
- System PC is only one of many possible ways of axiomatizing propositional logic.
- Italian mathematician Giuseppe Peano axiomatized the mathematical theory of natural numbers.
- The sciences - at any rate the theoretical sciences - are to be axiomatised.
|