исновку від припущень (Гіпотез). Скрізь надалі будемо мати на увазі висновки з аналізом (тобто обгрунтуванням кожного його кроку посиланнями або на приналежність формули цього кроку до безлічі взятих гіпотез або аксіом системи, або на формули, з яких вона вийдуть, і використовувані при цьому правила).
Формула У даного висновку залежить від деякого допущення А, якщо і тільки якщо: а) вона є саме допущення А;
б) виходить з деяких формул за правилами системи (З С вЉѓ В і С по m. Р. Або з С по в€Ђ в), яка-небудь з яких залежить від А. Більш простим чином поняття залежності роз'яснюється в описуваної далі системі натурального виводу, значно простіше здійснюються там самі висновки і докази.
Натуральна система числення предикатів
Постулатами системи (вихідними правилами) є все правила натуральної системи числення висловів і правила для кванторів.
Правила виводу для виразів з кванторами:
table>
за умови, що ніяке допущення з Г не містить x вільно;
