>>210
>IUT論文？ 斜め読みしましたよ。ほとんど お経ですね
おそらくそれは単に眺めただけでは？
もし斜め読みしているなら
https://www.kurims.kyoto-u.ac.jp/~motizuki/Essential%20Logical%20Structure%20of%20Inter-universal%20Teichmuller%20Theory.pdf
>[9]
の冒頭の論理積と論理和（XOR？）の所の
A∧B=A∧(B1∀B2∀…)
　＝＞A∧(B1∀B2∀…∀B'1∀B'2∀…)
　＝＞A∧(B1∀B2∀…∀B'1∀B'2∀…∀B''1∀B''2∀…)
（∀はホントは∨に・でXORの記号らしい）
てのがとても重要なように書かれてるけれど
意味分かります？