ilksavlı kuram ne demek?

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

ilksavlı kümeler kuramı

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

kuram

1. Sistemli bir biçimde düzenlenmiş birçok olayı açıklayan ve bir bilime temel olan kurallar, yasalar bütünü, nazariye, teori
2. Uygulamalardan bağımsız olarak ele alınan soyut bilgi.
3. Belirli bir konudaki düşüncelerin, görüşlerin bütünü
4. Özdeğin , araştırma sınırları içindeki tüm nitel ve nicel ilişki, durum ve devinimlerinin, gözlem, varsayım, deney ve yasalarla belirlenen bilgileri üzerine düşünsel olarak kurulan genel düzenleme.
5. Gözlem konusu olan bir sınıf olay ve ilişki üzerinde yapılan deneyler sonucu doğruluğu hemen hemen kesinleşen yöntemli açıklama.
6. Düşünce alanında kalan bilgi ve bu nitelikteki bilginin bilimsel temel ve kuralları.
7. Theory teori.
8. Nazariye.
9. Theory.
10. Theorem.

Türetilmiş Kelimeler (bis)