Oder: Etwas hört auf Beweis zu sein, wenn es aufhört Paradigma zu sein, z.B. R.'s logischer Kalkül; & anderseits ist jeder andere Kalkül annehmbar, der uns als Paradigma dient.