(лат.) — термин в логике: незнание того, что имеет быть доказано.