Bütün teoremler uslamlama yoluyla birbiriyle bağıntılı iseler, "en temel aksiyomlar şunlardır" demek için bir neden yoktur; çünkü farklı bir şeyler söylendiğinde siz de başka türlü muhakeme yürütebilirsiniz. Bu, çok parçalı ve çok bağlantılı bir köprüye benzer; bazı parçalar düşmüşse onları farklı bir şekilde tekrar bağlayabilirsiniz. Günümüzdeki matematiksel yaklaşım şöyledir: Bir çeşit ön anlaşmayla aksiyom olarak seçilmiş fikirlerden yola çıkarak yapıyı kurmak.