Ax infinity