Sind die (verschiedenen) || (diversen) Kalküle der Mathematik nur
darum nicht durch einen Kalkül wie den Russellschen ersetzbar, weil dieser Kalkül || Russellsche Logik ersetzbar, weil diese zu weitschweifig wäre?