choose を使わない例を示す

[aconite-ac]

@Seasawher

#4でのコメントを受けて作成したPRです。
without-chooseブランチをそのままコピーしただけなのでcommit内容は問題ないと思いますが、
そもそも#4でのコメントの意図を正確に汲めているかやや心配なので念のためreviewお願いします。

[aconite-ac]

クレジット目的なので自分でcommitするべきだったかもしれません…。
もしそうでしたら、ご指摘頂いた後、自分でcommitしてPRを作り直します。

[Seasawher]

確かにコミットのオーサーが私になってしまっているので、aconite さんがオーサーになるようにして出し直していただきたいです

[Seasawher]

ところで、私が書いたことですが、classical.choice を「選択公理」と呼ぶのはまずいかもしれないなと思いました。空でない集合から元を取れるのは、TPiLでは選択原理と訳していませんでしたか？

[aconite-ac]

commitのチェックが不十分でした。TPiL4日本語訳に合わせて「選択原理」と書き改めるのがよさそうですね。
commit「choose を使わない例を示す」に相当するcommitを自分がオーサーとなるようにやり直し、「選択原理」と書き改めるcommitを追加して再びPRを出します。