ilksavlı kümeler kuramı
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 theoryKü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 setsKü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 theoryKü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 theoryHer ö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 systemBiç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 logicMantı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.