6.211 Na vida, não é da proposição matemática que precisamos, usamo-la apenas para inferir, de proposições que não pertencem à matemática, outras que igualmente não pertencem a ela.

(Na filosofia, a questão “para que precisamos efetivamente de tal palavra ou de tal proposição” sempre conduz a valiosas visualizações.)