3 ms·
See Bertrand Russell and Whitehead's attempt to codify mathematics from first principals. It was comprehensively Godelled https://en.wikipedia.org/wiki/Principi
by Angostura 8y ago
See Bertrand Russell and Whitehead's attempt to codify mathematics from first principals. It was comprehensively Godelled https://en.wikipedia.org/wiki/Principia_Mathematica https://en.wikipedia.org/wiki/Principia_Mathematica