English: So, with this have a basic machinery for working with first order logic we have define the language start it off by a alphabet then the set of terms then the set of atomic formulas and then the set of formulence.
Telugu: కాబట్టి, దీనితో ఫస్ట్ ఆర్డర్ లాజిక్ తో పనిచేయడానికి ఒక ప్రాథమిక యంత్రాంగాన్ని కలిగి ఉన్నాము, భాషను వర్ణమాల ద్వారా ప్రారంభించమని మనము నిర్వచించాము, ఆపై పదాల సమితి తరువాత పరమాణు సూత్రాల సమితి(set of atomic formulas) మరియు సూత్రాల సమితి(set of formulence).