Послідовність - це вираз формиΓ⇒Δ. Γназивається попередником, в той час якΔ є успішним. Інтуїтивна ідея, що стоїть за послідовністю, така: якщо всі речення в попередньому тримають, то принаймні одне з речень у наступному тримає.
Ми сказали, що початкова послідовність виглядає, і ми дали правила висновку. Похідні в послідовному численні індуктивно генеруються з них: кожне похідне або є початковою послідовністю самостійно, або складається з одного або двох похідних з подальшим висновком.
Подібно до того, як ми визначили низку важливих семантичних понять (валідність, тяговість, задовільність), ми тепер визначаємо відповідні теоретичні поняття. Вони визначаються не апеляцією до задоволення вироків у структурах, а зверненням до похідності або непохідності певних послідовностей. Важливим відкриттям було те, що ці поняття збігаються. Те, що вони роблять, - це зміст теореми про обґрунтованість і повноту.
