There is no tax deduction for that. Instead, the pension payer keeps track of any after-tax credits you buy, and when you begin collecting your pension, a portion of it will be reported as non-taxable.
