>>552
ありがとう

ヘンペルの名前は知らなかったけど論理学の話では必出の命題なので知ってたw
こういうの考えると面白いよね