>>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の記号らしい)
てのがとても重要なように書かれてるけれど
意味分かります?