הנחה טעונת הוכחה – שפות אחרות