%0 Journal Article %A Ding-Zhou, Fei %D 2004 %J Modern Philosophy %P 015 %T Proof: A Source of Truth in Mathematics %V 2