Засновок — Вікіпедія

За́сновок — термін, який вживають у логіці та математиці.

• У логіці — судження, яке є підставою для висновку і необхідною частиною будь-якого висновку.

• У математиці — формула, яка лежить в основі певного виведення і в межах цього виведення не доводиться.

• Аксіома

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