Andere formalists, zoe wie Rudolf Carnap, Alfred Tarski en Haskell Curry zaoge wiskunde es ‘t ónderzeuk nao fromele axiomsysteme.