13/05/10 11:25:48.31
【>>180のつづき】
ところが、少なくとも一人の不貞夫がいることが判明してしまった。自分の夫が不貞夫でないとすると、これは矛盾である。
この時点で妻５０は自分の夫が不貞夫であることが分かるので１日目に処刑するはずだろうことが
妻４９には分かる、ということが妻４８には分かる、…、ということが妻１には分かる、ということが俺には分かる。
ところが、誰も処刑されることなく２日目を迎えてしまった。自分の夫が不貞夫でないとすると、これは矛盾である。
この時点で妻４９は自分の夫が不貞夫であることが分かるので２日目に処刑するはずだろうことが
妻４８には分かる、…、ということが妻１には分かる、ということが俺には分かる。
……
ところが、誰も処刑されることなく４９日目を迎えてしまった。自分の夫が不貞夫でないとすると、これは矛盾である。
この時点で妻２は自分の夫が不貞夫であることが分かるので４９日目に処刑するはずだろうことが
妻１には分かる、ということが俺には分かる。
ところが、誰も処刑されることなく５０日目を迎えてしまった。自分の夫が不貞夫でないとすると、これは矛盾である。
この時点で妻１は自分の夫が不貞夫であることが分かるので５０日目に処刑するはずだろうことが
俺には分かる。
【証明終わり】