这种表达式与通用量词是什么意思？

Question

我刚刚遇到这个表达，因为我之前从未学过通用量词，所以我不知道这是什么意思，任何人都可以向我解释这一点。

∀α.α → α

我知道这是一个通用的量词，但我不知道它是如何工作的

Answer 1

不是这个身份。请不要理解我的观点，自从我考虑通用量词后已经很多年了

Answer 2

WFF（格式良好的公式）表示，对于所有a，如果是a，那么a。

这非常重复，真的：即使是一个傻瓜也能看出来。