In this way erm starting from logical indefinables of maximum simplicity, and by rigorous logical construction of the rest of its contents on that basis, he'd be able to exhibit the whole of mathematics as a perfectly systematic and unquestionable structure.