"antakelse" er et 9-bokstavers substantiv som brukes som synonym for "deduksjon". deduksjon betyr: Formodning som kan brukes i deduktiv resonnement.