The Mathematics of Coordinated Inference　ざっと見たけど
「箱入り無数目」そのものは出てこないね
まあ、Gabay-O'Connorの定理から容易に出てくる系(Corollary)だから
わざわざ載せなかっただけだね

Gabay-O'Connorの定理を認めない（つまり、選択公理を認めない）っていうんなら
そういう態度はありだよ　別に無矛盾らしいから