dizimsel eksiksiz ilksavlı kuram
Her önermesi belirlenir olan tutarlı ilksavlı kuram; kanıtlanamayan herhangi bir önermenin ilksavlar kümesine katılmasıyla dizimsel tutarsız duruma dönüşen dizimsel tutarlı ilksavlı kuram.
dizimsel eksiksiz ilksavlı kuram, 32 karakter ile yazılır. Ayrıca,
d harfi ile başlar, m harfi ile biter. Tüm karakter dağılımı ise,
'd', 'i', 'z', 'i', 'm', 's', 'e', 'l', ' ', 'e', 'k', 's', 'i', 'k', 's', 'i', 'z', ' ', 'i', 'l', 'k', 's', 'a', 'v', 'l', 'ı', ' ', 'k', 'u', 'r', 'a', 'm', şeklindedir.
dizimsel eksiksiz ilksavlı kuram kelimesinin tersten yazılışı maruk ılvaskli ziskiske lesmizid diziliminde gösterilir.