Metadata
Author: Literature
Data
English[en]
Substitute in this formula for the variable with Gödel number 13 (i.e., for ‘y’) the numeral for m.
Spanish[es]
En dicha fórmula sustitúyase la variable de número Gödel 13 (o sea, ‘y’) por el numeral de m.