>>407 つづき
>>368にベイカーの定理を引用したけど
https://ja.wikipedia.org/wiki/%E3%83%99%E3%82%A4%E3%82%AB%E3%83%BC%E3%81%AE%E5%AE%9A%E7%90%86
定理1 (対数関数の一次形式の線形独立性)
α1,・・・,αnを 0 ではない代数的数とする。もし、 log α1,・・・,log αnが有理数体上線形独立であるならば、1, log α1,・・・,log αn は、代数的数体上線形独立である。
(引用終り)

で、log p1, log p2, ・・・, log pn （p1,p2 ,…, pn は、任意の相異なる2個以上のn個の素数）で、有理数体Q上線型従属というおっちゃんの主張でしょ？
で、ベイカーの定理とは真逆の主張に見えるけど

さらに初等的考察で、https://ja.wikipedia.org/wiki/%E5%AF%BE%E6%95%B0 対数の底の変換 log a (x) = log x / log a (ここに ”log a (x) ”は、aを底とする対数を表す)
任意の二つの素数、例えば３と５で log 3 と log 5 が、有理数体Q上線型従属と仮定すると、log 3 / log 5 ＝q (q ∈Q)なる有理数が存在するが
底を５とすると、log 5 (3) ＝q (q ∈Q)なる有理数が存在することになる
底を５とする対数 log 5 (3) は、直感的には超越数でしょ（すぐに証明できるほどレベル高くないが） 注＊）
だから、任意の二つの素数で、log pi, log pj は、有理数体Q上線型独立だろうと思う

まあ、こんな論法で、任意の二つの素数の対数が有理数体Q上線型独立とすれば、log p1, log p2, ・・・, log pn が有理数体Q上線型従属は、直感的には成り立たないと思うけど？ 少なくとも要証明だろ

注＊）リンデマンの定理 https://ja.wikipedia.org/wiki/%E3%83%AA%E3%83%B3%E3%83%87%E3%83%9E%E3%83%B3%E3%81%AE%E5%AE%9A%E7%90%86
で、「0 でも 1 でもない代数的数 β に対して、log β は超越数である。」は言えるらしい。
だから、log p1, log p2, ・・・, log pn は、すべて超越数は言える
log 3 と log 5 とは、超越数だが
log 3 / log 5 あるいは、log 5 (3) がどうか
こんな程度はだれでも思いつきそうなんで、どこかに証明が落ちてないか検索したが見つからず。はて？（＾＾；