Exempelvis kan frågan huruvida ett visst tal är ett primtal eller ej besvaras genom att man på talet tillämpar ett bestämt räkneförfarande, och frågan är alltså avgörbar. I logiska och matematiska sammanhang talar man huvudsakligen om avgörbarhet i samband med problem som på samma sätt som i exemplet uppstår