ピタゴラスの定理の証明を形相論理で求める

ピタゴラスの定理⊇{大カテゴリ（図形、三角関数、垂線）、小カテゴリ（関数）}
大カテゴリ（図形）⊇{円、正方形、長方形、三角形、内接円}
と思うのですがどうですか

質問者からの補足コメント

• 証明とは何か（形式学2）
  記憶が多い（リンクが多い）ということは証明してきたものが多いということであり
  記憶したものからネットワークができているということであり
  証明したもの⊇ネットワーク⊇記憶したもの⊇リンク
  といえる
  証明する能力（形相論理の主語証明、述語証明の能力）はネットワークの緻密さに依存している

    補足日時：2023/07/02 12:28

• ある存在の系統の証明（形式学3）
  ネットワークが密になるに従い証明できることが増えます
  リンクを張りネットワークになればある存在の系統の証明が可能です
  つまり、
  ある存在⊇系統⊇ネットワーク⊇リンク
  となります

    補足日時：2023/07/02 12:30

No.3 回答者： kamiyamasora 回答日時： 2023/06/27 22:19

直角三角形で

（斜辺）²＝（底辺）²＋（高さ）²

という公式のことではないの。

形相論理：？？？？？

No.2 回答者： ssawatake 回答日時： 2023/06/24 14:21

形相論理とはナンジャラほい？？

様相論理？？

No.1 回答者： kairou 回答日時： 2023/06/24 13:59

ピタゴラスの定理（三平方の定理）は

世界中で 多くの人が それぞれの方法で 証明しています。
下記あたりが 参考になるかな。
https://mathsuke.jp/pythagorean-theorem/
（但し [形相論理] については よく分かりません。）