Metadata
Author: ParaCrawl Corpus
Data
English[en]
The field of mathematics known as proof theory studies formal languages, axioms and the structure of proofs.
Dutch[nl]
Het deelgebied binnen de wiskunde dat bekendstaat als bewijstheorie bestudeert formele axiomasystemen en de bewijzen die binnen deze systemen kunnen worden uitgevoerd.