8 野に咲く名無し@転載禁止 2024/09/02 (月) 23:40:13.993 ID:O5Kzj1FKG主
IUT理論の証明がファンクターのような性質を暗黙のうちに仮定しているにもかかわらず、その仮定が証明されていない、あるいは十分に説明されていないという点にあります。彼らは、𝜃θ-リンクが本当にファンクターの性質を持っているかどうかが証明されていないため、IUT理論の証明が論理的に不完全である可能性があると指摘しています。