Türkçe: birinci mertebe mantık
Açıklama: Birinci mertebe mantık; değişkenler ve niceleyiciler içeren mantık