20/01/11 13:59:11.89 p9+3nDT+.net
>>606
横からど素人ですけど
そのフェルマーの別証明だけでなく、膨大に他の別証明や
そうではない何かが芋づる式に出てくると敢えて考えた場合に
決定的な矛盾が出た場合はIUTが間違っていることが証明出来て、
一方でラベルや充満多重同型が必要不可欠であることが証明されてIUTが正しいということが
証明出来るというような事ってあり得るのかな？
20/01/11 13:59:11.89 p9+3nDT+.net
>>606
横からど素人ですけど
そのフェルマーの別証明だけでなく、膨大に他の別証明や
そうではない何かが芋づる式に出てくると敢えて考えた場合に
決定的な矛盾が出た場合はIUTが間違っていることが証明出来て、
一方でラベルや充満多重同型が必要不可欠であることが証明されてIUTが正しいということが
証明出来るというような事ってあり得るのかな？