Text this: Sistemas de cálculo como formas de Logicismo