Deductieve afsluiting - andere talen