>>366
log は Gm(k) から Ga(k)（に近いもの）への準同型なので、もとより 0 では定義されてないよ。ここで k は着目してる局所体。

複素解析的にも 0 は log の真性特異点で極ですらない。