「」 Lingenic
Model-Theory
⊤
⊃
Knowledge Base
⊃
Logic
⊃
Formal Logical Systems
⊃
Metatheory
⊃
Model-Theory
2026-07-17T135416.643
+
000000013168128