ilksavlı dizge ne demek?

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

biçimsel

1. Biçime dayanan, biçimle ilgili, şekle ait, şeklî, formel.
2. Figural.
3. Formal.

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

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

dizge

1. Bir bütün oluşturacak biçimde birbirine bağlı ögelerin bütünü, manzume, sistem.
2. Bir ilkeye veya dünya görüşüne göre düzenlenmiş düşünceler, bilgiler, öğretiler bütünü, manzume, sistem.
3. Bir müzikal eserin belirli bir çalgı ile ve bu çalgı üzerindeki hangi tel ve perdelere basılarak çalınacağını, nota yerine çeşitli rakam, harf ve işaretlerle gösteren sistem.
4. Bir bütünü oluşturacak biçimde karşılıklı olarak birbirine bağlı öğelerin tümü.
5. Üzerinde ölçme yapılan ya da söz konusu olan belirli nesneler topluluğu.
6. Tablature.
7. System.
8. System sistem.
9. System
10. Système

Türetilmiş Kelimeler (bis)