关闭。这个问题是off-topic .它目前不接受答案。
想改善这个问题吗？ Update the question所以它是 on-topic对于堆栈溢出。
8年前关闭。
Improve this question
我找到了这个 webapp它允许您为给定类型生成自由定理。
生成的定理量化了这些类型的类型和关系。这些定理(公式)是哪个理论/逻辑系统的定理？这个系统与语言的等式理论有什么关系？
最佳答案
关于math - 自由定理和参数化，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/14207218/