axiomatic 예문

• Wielandt believed that the axiomatic method had produced major advances:
  공리 Wielandt 그 제작 방법을 주요 진보다고 믿었 :
• Another area of interest to Church was axiomatic set theory.
  교회에 대한 관심의 또 다른 영역을 공리 집합 이론에 불과했습니다.
• The former is axiomatic, and the latter itself is a teaching.
  여전히 여호와를 나의 요새시요 피할 바위시며
• In 1908 Zermelo published his axiomatic system despite his failure to prove consistency.
  1908 체르멜로에서 일관성을 증명할 자신의 실패에도 불구하고 자신의 공리 시스템을 발표했다.
• He published Grundlagen der Geometrie in 1899 putting geometry in a formal axiomatic setting.
  그는 1899 년에 정식으로 공리 설정에서 기하학을 입고 Grundlagen 데르 Geometrie 발표했다.
• He therefore attempted to put set theory on an axiomatic basis to avoid the paradoxes.
  그는 따라서 공리 기준으로 모순을 피하기 위해 이론을 놓으하려고 시도했습니다.
• He also examined the consistency of certain propositions in Gödel 's system of axiomatic set theory.
  그는 또한 Gödel '공리 집합 이론의 시스템에서 특정 제안의 일관성을 검사합니다.
• He made refinements to Zermelo 's axiomatic set theory, publishing work in 1922 and 1929.
  그는 Zermelo ', 1922 년에서 1929 년에 출판 작업 집합 이론 공리에게 수정했다.
• He wrote a number of papers on an axiomatic theory of mechanics, the first two in 1909.
  그는 역학의 공리 이론에 대한 논문의 숫자가 쓴 최초의 1909 안에 2.
• The resulting system, with ten axioms, is now the most commonly used one for axiomatic set theory.
  10 공리계와 그 결과 시스템은, 지금은 가장 일반적으로 공리 집합 이론이 하나가 사용됩니다.
• This axiomatic system gives a newer approach to the problem which had been tackled by Hilbert in Grundlagen der Geometrie.
  공리는이 시스템에 의해 Grundlagen 교슈님 데르 Geometrie에 태클했던 문제에 대한 새로운 접근 방법을 제공합니다.
• He tries to set both disciplines on an axiomatic basis and one his strong beliefs is that the axioms should be independent:
  그는 공리 바탕으로 한 그의 강한 신념으로 두 분야를 설정하려고하면 그 공리계 독립되어야합니다 :
• He made two attempts, in 1922 and 1925, to put set theory into an axiomatic setting that would avoid the paradoxes.
  그는 1922 년에서 1925 년, 그 모순을 피하기 것이라고 공리 이론을 설정 설정에 넣어 두 시도했다.
• In 1958 Bernays published Axiomatic Set Theory in which he brought together all his work on the axiomatisation of set theory.
  1958 베르나 이스 공리를 설정 이론은 그가 같이 설정 이론의 axiomatisation 모두 그의 작품을 가져 출판합니다.
• The concepts of energy and the Dirichlet integral took Beurling to a global axiomatic theory called the theory of Dirichlet spaces for complex functions.
  에너지의 개념과 Dirichlet 필수 글로벌 공리 이론 Beurling했다 Dirichlet 복잡한 기능을위한 공간이라는 이론.
• Since Euclid 's axiomatic formulation of geometry mathematicians had been trying to prove his fifth postulate as a theorem deduced from the other four axioms.
  유클리드 이후 '기하학 공리 수학자의 공식들 정리 다른 4 공리계 추론의 자신의 다섯 번째 공준을 증명하려고했다.
• In the authors describe Zaremba's axiomatic justification of the notion of time in classical mechanics which he worked on during the period from 1933 to 1940.
  저자에서 그가 1,940에서 1,933 사이의 기간 동안 어떤 일을 고전 역학에서 시간의 개념의 공리 Zaremba의 정당성을 설명합니다.
• In 1918 his work came close to an axiomatic theory for Banach spaces, which were set up axiomatically two years later by Banach in his dissertation.
  1918 년 그의 작품을 가까이가 axiomatically 바나흐 2 년 후 그의 논문에서 설정된 바나흐 공간에 대한 공리 이론했다.
• Freudenthal studied the relation between axiomatic mathematics and reality, and this study led him to contribute to intuitionism , as well as to the application of mathematics to linguistics.
  Freudenthal, 공리 수학과 현실 사이의 관계를 공부 그를 직관론 위해이 연구뿐만 아니라, 언어학을 수학의 응용에 기여했다.
• He proved fundamental results about axiomatic systems, showing in any axiomatic mathematical system there are propositions that cannot be proved or disproved within the axioms of the system.
  그는 어떤 공리 수학 시스템에서 그 입증되지 않을 수 없거나 시스템의 공리계 내에 disproved 제안하는 게재 공리 시스템에 대한 근본적인 결과를 입증했다.