belitsel dizge
belitsel dizge İng. axiomatics
->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.)
belitsel dizge için benzer kelimeler
belitsel dizge, 14 karakter ile yazılır. Ayrıca,
b harfi ile başlar, e harfi ile biter. Tüm karakter dağılımı ise,
'b', 'e', 'l', 'i', 't', 's', 'e', 'l', ' ', 'd', 'i', 'z', 'g', 'e', şeklindedir.
belitsel dizge kelimesinin tersten yazılışı egzid lestileb diziliminde gösterilir.