aksjomatyka

See also: aksjomatyką

Polish

Etymology

Borrowed from German Axiomatik.[1] By surface analysis, aksjomat +‎ -yka.[2] First attested in 1914.[3][4]

Pronunciation

  • IPA(key): (prescriptive) /ak.sjɔˈma.tɘ.ka/, (colloquial) /ak.sjɔ.maˈtɘ.ka/
  • Audio:(file)
  • Rhymes: -atɘka, -ɘka
  • Syllabification: ak‧sjo‧ma‧ty‧ka

Noun

aksjomatyka f

  1. (logic) axiomatics (system or study of axioms within a given system)
    aksjomatyka Euklidesathe axiomatics of Euclid
    aksjomatyka Hilbertathe axiomatics of Hilbert
    aksjomatyka arytmetykithe axiomatics of arithmetic
    aksjomatyka teorii mnogościthe axiomatics of set theory
    aksjomatyka liczb (rzeczywistych/naturalnych)the axiomatics of (real/natural) numbers

Declension

Derived terms

adjective

References

  1. ^ Witold Doroszewski, editor (1958–1969), “aksjomatyka”, in Słownik języka polskiego (in Polish), Warszawa: PWN
  2. ^ Mirosław Bańko, Lidia Wiśniakowska (2021) “aksjomatyka”, in Wielki słownik wyrazów obcych, →ISBN
  3. ^ Federigo Enriques (1914) Zagadnienia dotyczące giometrji elementarnej. T. 1, Krytyka podstaw[1] (in Polish), page II
  4. ^ aksjomatyka in Narodowy Fotokorpus Języka Polskiego

Further reading

  • aksjomatyka in Wielki słownik języka polskiego, Instytut Języka Polskiego PAN
  • aksjomatyka in Polish dictionaries at PWN