Ist Sind die
(diversen)
(en)
Kalküle der Mathematik nur
darum nicht durch einen Kalkül wie den Russelschen ˇLogik ersetzbar, weil dieser Kalkül zu weitschweifig wäre?