ilksavlı kümeler kuramı

ilksavlı kümeler kuramı İng. axiomatic set theory

Olağan yorumdaki evreni, kümeler ya da genel olarak öbeklerden oluşan temel mantıklı ilksavlı kuram. || Örn. Morse-Kelley ilksavlı kümeler kuramı, mantıksal olmayan ilkel değişmezleri öğelik imiyle öbekleyici; özel ilksavlar kümesi de kaplamsallık ilksavı, öbekleme ilksav kalıbı, birleşim ilksavı, güç kümesi ilksavı, düzenlilik ilksavı, yerine koyma ilksavı, sonsuzluk ilksavı, seçme ilksavmdan oluşan temel mantıklı bir kuramdır.


ilksavlı kümeler kuramı ile benzer kelimeler

aksiyomatik kümeler kuramı

bk. belitsel kümeler kuramı.

belitsel kümeler kuramı

İng. axiomatic set theory

Kümeler kuramını belitsel yolla araştıran usbilim kuramı.


İng. axiomatic set theory

Küme kavramının belitsel yöntem kullanılarak incelenmesi, aksiyomatik kümeler kuramı.

kümeler kuramı

İng. set theory, theory of sets

Kümelerin özellikleri ile kümelere ilişkin işlemleri konu edinen uzbilim kuramı.


İng. set theory

Kümeler ya da genel olarak öbekleri konu edinen bilim dalı.||Krş.. sezgisel , ...

sezgisel kümeler kuramı

İng. intuitive set theory

Kümeleri, biçimsel olmayan bir dille, belli ilksavlara dayanmaksızın inceleyen matematik bölümü. || Böyle bir yaklaşım çelişmelere yol açmıştır.

dizimsel eksiksiz ilksavlı kuram

İng. syntactically complete axiomatic theory

Her önermesi belirlenir olan tutarlı ilksavlı kuram; kanıtlanamayan herhangi bir önermenin ilksavlar kümesine katılmasıyla dizimsel tutarsız duruma dönüşen dizimsel tutarlı ilksavlı kuram.

ilksavlı dizge

İng. axiomatic system

Biçimsel dizge.

ilksavlı kuram

İng. axiomatic theorie, axiomatic formal theory,postulate theory

(i) bir kuram, (ii) kuramdaki mantıkça kapalı önerme kümesinin bir altkümesi olarak seçilen özel ilksavlar kümesi, (iii) özel ilksavlar kümesinden türetilebilen kanıtsavlar kümesi'nden oluşan ...

ilksavlı mantık dizgesi

İng. axiomatic system of logic

Mantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi.


"ilksavlı kümeler kuramı" karakter analizi

  • ilksavlı kümeler kuramı, 23 karakter ile yazılır.
  • i harfi ile başlar, ı harfi ile biter.

Karakter dağılımı

  • 'i', 'l', 'k', 's', 'a', 'v', 'l', 'ı', ' ', 'k', 'ü', 'm', 'e', 'l', 'e', 'r', ' ', 'k', 'u', 'r', 'a', 'm', 'ı', şeklindedir.
  • ilksavlı kümeler kuramı kelimesinin tersten yazılışı ' ımaruk relemük ılvaskli' diziliminde gösterilir.