>>160
> 「-*-＝+は定理である」
> という文章は存在し得ない。
といいながら、その直前では

> (a)-*-=+は定理である
> (b)-*-=+は定義である
> (c)-*-=+は定理でも定義でもよい

> から選ばせようとしてもなかなか選ぼうともしませんよね。
などというような罠をしかけている。卑怯なやつだ。

公理論の研究の過程で論理構造を樹形図で示すなどというのも既になされたこと。

で、結局のところ何をいいたいのか？