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