English: And then we will move on to higher order logics essentially may I will give you an example of logical systems which were know as axiomatic systems.
Telugu: ఆపై మనము ఉన్నత ఆర్డర్ లాజిక్స్కు(higher order logic) వెళ్తాము, ముఖ్యంగా నేను మీకు లాజిక్ వ్యవస్థల యొక్క ఉదాహరణను ఇస్తాను, అవి అక్షసంబంధ వ్యవస్థలుగా తెలిసినవి.