За́сновок — термін, який вживають у логіці та математиці.
У логіці — судження, яке є підставою для висновку і необхідною частиною будь-якого висновку.
У математиці — формула, яка лежить в основі певного виведення і в межах цього виведення не доводиться.
Див. також
Аксіома
Література і джерела
«Філософський словник» / За ред. В. І. Шинкарука. — 2.вид., перероб. і доп. — К.: Голов. Ред. УРЕ, 1986. Словник української мови: в 11 томах. — Том 3, 1972. — Стор. 321.