抽象代数学の定理が型の空集合で崩れる話

本紙が書いた要約がまだありません。他サイトの要約をそのまま載せることはしません。