Ax A surname. Proper noun A surname. Origin From the German surname, spelling variant of Axt. Derived Ax-Grothendieck theorem Ax-Kochen theorem