>>186
>「代数学では紛れもなく定理」
>というべきなのに。

本当に、そう言うべきか？
お前は「いろいろな公理系（樹形図）があっていい」という立場なのに、
別の公理系から環や体など代数学の対象を構築できる可能性は考えていないのか？

>>187
それは前スレでも指摘されていたが、公理を直接引用するだけの定理は除外して考えているのだろう。
提唱者がそのあたりを意識して「定理」という言葉を使っているかは不明だが。