ilksavlı kuram anlamı İng. axiomatic theorie, axiomatic formal theory,postulate theory Osm. aksiyomatik teori Alm. axiomatische Theorie Fr. théorie axiomatique
(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 eksikli ilksavlı kuram, yorumsal eksiksiz ilksavlı kuram, dizimsel eksikli ilksavlı kuram, dizimsel eksiksiz ilksavlı kuram, tutarlı ilksavlı kuram.