Metadata
Author: WikiMatrix
Data
English[en]
The general first-order theory of the natural numbers expressed in Peano's axioms cannot be decided with an algorithm, however.
Dutch[nl]
De algemene eerste-ordetheorie van de natuurlijke getallen uitgedrukt in axioma's van Peano kan echter niet worden beslist met een dergelijk algoritme.