Ist es nicht klar: die Sätze der reinen Mathematik können nur als Zeichenregeln angewendet werden. || können in ihrer Anwendung nur Zeichenregeln sein. (Nur Bedingungen des Sinns.)