まあ、命題
>実数a、b、c＞0について
>a^(b/c)＝b^(c/a)＝c^(a/b)
>が成立するときa＝b＝c
について、「実数a、b、c＞0について」の「実数a、b、c＞0」を
「任意の」なのか「或る」なのかをはっきりさせて定式化することは出来ないだろうから、
その命題に数学の理論と同じ意味合いでの美しさがある
とはいえないだろうな。ただ、式がきれいなことは確かだ。