ilksavlı mantık dizgesi
ilksavlı mantık dizgesi İng. axiomatic system of logic
Mantıksal ilksavı, dolayısıyla öncülsüz çıkarım kuralı olan mantık dizgesi.
ilksavlı mantık dizgesi, 23 karakter ile yazılır. Ayrıca,
i harfi ile başlar, i harfi ile biter. Tüm karakter dağılımı ise,
'i', 'l', 'k', 's', 'a', 'v', 'l', 'ı', ' ', 'm', 'a', 'n', 't', 'ı', 'k', ' ', 'd', 'i', 'z', 'g', 'e', 's', 'i', şeklindedir.
ilksavlı mantık dizgesi kelimesinin tersten yazılışı isegzid kıtnam ılvaskli diziliminde gösterilir.