symbole relacyjne, które odpowiadają na pytanie, czy dany obiekt reprezentuje określone pojęcie (zwane pojęciem pierwotnym).. Przykład: elementami alfabetu geometrii (termami geometrii) mogą być: symbol relacyjny Jeśli jest prawdą, będziemy mówili, że to punkt. symbol relacyjny Jeśli jest prawdą, będziemy mówili, że to prosta. symbol relacyjny Jeśli jest prawdą, będziemy mówili, że punkt leży na prostej We wcześniejszych ujęciach logiki matematycznej mówiło się, że punkt, prosta i relacja „punkt leży na prostej” są pojęciami pierwotnymi geometrii. Obecnie takie sformułowanie spotyka się coraz rzadziej.
Elementów tego alfabetu nie definiuje się formalnie podczas konstrukcji danej teorii. W danym przypadku trzeba tylko wiedzieć, że dla dowolnego rozważanego obiektu każdy z symboli relacyjnych może być prawdą lub fałszem. Konkretny sens jest im nadawany dopiero w procesie tworzenia modelu teorii, o czym dalej.
Teoria w logice jest zbiorem twierdzeń opisujących pewne relacje między jej pojęciami.