基本方針

1. 外延的 - 集合論ベース
2. 意図無関係 - 形式的・外延的に定義できない意図は無視する。
3. 圏論的
4. ありもの使用 - 車輪の再発明を避ける
5. 長い物には巻かれろ - メジャーな理論・仕様・技術・ツールを採用