Horsten-Leitgebのパラドックス
https://link.springer.com/article/10.1023/A:1017569601150
パラドックス