Translation examples
My immediate concern is metamathematics.
—Mi preocupación inmediata son las metamatemáticas.
Technically, it was a branch of metamathematics, usually called metamathics.
Técnicamente, era una rama de las metamatemáticas, llamada habitualmente metamáticas.