Source: wikibot/ax-kochen-theorem

= Ax–Kochen theorem
{wiki=Ax–Kochen_theorem}