belitsel dizge anlamı İng. axiomatics Alm. Axiomatik Fr. axiomatique
->Tümdengelimli dizgelerde, bütün dizgenin temelinde bulunan ve bütün önermelerin tanıtlanması için gerekli olan, ama kendileri tanıtlanamayan önermelerin bütünü. (Eskiden matematikte bunlar -> belit (aksiyom), -> konut (postulat) ve -> tanım diye üç ayrı türden önerme olarak kabul edilirdi.)