多分、第3者が...って話は時枝解法と選択公理の役割にケチをつけようと
思って言い始めたんだろうけど、結局当てられるはますます当たり前
ってことにしかならないのがバカ。