Stav dette: Filosofía de las matemáticas: historia, sistema, protocolos