English: First-order logic[139] also allows the use of quantifiers and predicates, and can express facts about objects, their properties, and their relations with each other.
Telugu: ప్రధమ-క్రమ తర్కం[111] పరిమాణపదం మరియు అఖ్యనముల ఉపయోగాన్ని కూడా అనుమతిస్తుంది మరియు వస్తువులు, వాటి లక్షణాలు మరియు వాటి పరస్పర సంబంధాలు గురించి సత్యాలను వ్యక్తీకరిస్తుంది.