↑
いや、もちろん両者の定義は一致するよ。
つまり、定義1の意味でのlog卍は素数全体の集合の濃度に一致する。