In this section

Historical Rules · 1 October 2009

Rule 116.7

Official source text from the 1 October 2009 Rules release

What a player actually needs to do to pay a cost may be changed or reduced by effects. If the mana component of a cost is reduced to nothing by cost reduction effects, it is considered to be {0}. Paying a cost changed or reduced by an effect counts as paying the original cost.

Find this number in the current Rules