Русско-английский научно-технический словарь

вносить

см. вводить вносить в

This kind of proof injects (or introduces) an empirical element into mathematics.

Русско-английский научно-технический словарь