the replacement of all free variables by a specific numberal

listen to the pronunciation of the replacement of all free variables by a specific numberal
İngilizce - İngilizce
substitution
the replacement of all free variables by a specific numberal