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.