時枝記事のペテンは
・選択公理とは何か
・証明の何処で選択公理を使っているかを明示していない