He found it through a computer search that not only proved that axiom worked, but also proved that no smaller axiom could.<p>See <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Wolfram_axiom" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Wolfram_axiom</a> for more.