Category:演繹理論

Unifying theories in mathematics

Logicism

Inferential role semantics

Self-verifying theories

Psychologism