じゃあなにか。

あらゆる実数に関する命題は
具体的数値（1,2,3,4,5,6,7,8,9,0）を全く使用せず
抽象的数値（a,b,cなど）で全て証明することができる。

という定理があるということか？