ilksavlı kümeler kuramı ne demek?

1. Olağan yorumdaki evreni, kümeler ya da genel olarak öbeklerden oluşan temel mantıklı ilksavlı kuram. || Örn. Morse-Kelleyilksavlı 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.
2. Axiomatic set theory.
3. Théorie axiomatique des ensembles

ilksavlı dizge

1. Biçimsel dizge.
2. Axiomatic system.
3. Système axiomatique

ilksavlı kuram

1. (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 dizge; başka bir deyişle geçerli bir biçimsel dizge ile özel ilksavlar kümesinin mantıksal kapanışından oluşan dizge. Krş.. yorumsal eksikliilksavlı kuram, yorumsal eksiksizilksavlı kuram, dizimsel eksikliilksavlı kuram, dizimsel eksiksizilksavlı kuram, tutarlıilksavlı kuram.
2. Axiomatic theorie, axiomatic formal theory,postulate theory.
3. Théorie axiomatique

küme

1. Tümsek biçimindeki yığın.
2. Birbirine benzer veya aynı cinsten olan şeylerin oluşturduğu bütün, takım, öbek, grup
3. Tomar.
4. Bir sınıfta öğrencilerin, belli bir eğitim ve öğretim amacıyla bir süre için oluşturdukları takım veya öbek.
5. Takımların durum ve nitelikleri göz önünde bulundurularak belli sayıdaki takımdan oluşturulan topluluk, lig.
6. Koşularda, kendiliğinden oluşan yarışçı gruplarının her biri.
7. Aynı yapıdaki öğelerden oluşan topluluk.
8. Çok sayıda nesne ve canlı topluluğu
9. Takımların durum ve nitelikleri göz önünde bulundurularak Ayaktopu Birliğince belli sayıdaki takımdan oluşturulan topluluk.
10. Heap.

Türetilmiş Kelimeler (bis)