Tingkat-tingkat berpikir mahasiswa dalam menerjemahkan pernyataan matematis berkuantor universal dari bentuk kalimat biasa menjadi bentuk kalimat formal.