Die Fähigkeit eines Systems, jede berechenbare Funktion zu berechnen; ein wichtiges Konzept in der theoretischen Informatik und KI.