Metadata
Author: WikiMatrix
Data
English[en]
Both meanings may apply if the formalized version of the argument forms the proof of a surprising truth.
Spanish[es]
Ambos significados pueden aplicar si la versión formalizada del argumento forma la prueba de una verdad sorprendente.