Metadata
Author: WikiMatrix
Data
English[en]
Formalism stresses axiomatic proofs using theorems, specifically associated with David Hilbert.
Dutch[nl]
Formalisme benadrukt axiomatische bewijzen met behulp van stellingen, in het bijzonder in de variant van het formalisten, die wordt geassocieerd met David Hilbert.