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?