Translation examples
un « marquage » gödelien pourrait jalonner la voie d’une « arithmétisation » ou « numéralisation » du monde (voir E. Nagel et J.R. Newman 1958).
y esta indicación gödeliana cimentaría la vía de una «aritmetización» o «numeralización» del mundo (ver E. Nagel y J. Newman, 1958).