数学板公安委員会とシンスレヌシは時枝記事全否定->選択公理否定に持ち込みたい