>>516
>体（可換でない斜体も含めても排除してもどちらでも構わないけれど）一般を一組の等式公理系で定義
>することは不可能だということが
>知られている。

( ・∀・)つ〃∩ ﾍｪｰﾍｪｰﾍｪｰ
久々にこの板で新しいことを知った