text: simvolu universal kvantor üçün 1935-ci ildə alman riyaziyyatçısı Gerhard Gentzen tərəfindən ekzistensial kvanterin simvolu ilə bənzətmə yolu ilə təqdim edilmişdir.  1897-ci ildə Cüzeppe Peano tərəfindən təqdim edilmişdir.