31.1.
Es sei π100 die 100-stellige ganze Zahl, || : 314159 …. Ist dann der Beweis, das ~π100p ≡ p ist (oder das Gegenteil) ein R'scher Beweis, da doch dieser Satz der Logik nur eine Abkürzung eines R'schen Satzes ist?