Ул саҡта a {displaystyle a} элементын ҡушылыусы итеп, һөҙөмтәлә килеп сыҡҡан сумма b {displaystyle b} һанынан артып китерлек итеп ҡабатларға була: a + a + … + a > b {displaystyle a+a+ldots +a>b} III 2 ′ . {displaystyle {text{III}}_{2}.} Тулылыҡ аксиомаһы (Гильберт мәғәнәһендә).