実はBCT1はZFのもとで従属選択公理と呼ばれる弱い形の選択公理と同値であるBlair1977.
Blair1977