English: From a relatively short list of axioms, deductive logic is used to prove other statements, called theorems or propositions.
Telugu: సిద్ధాంతాలు లేదా ప్రతిపాదనలు అని పిలిచే ఇతర వాంగ్మూలాలు, నిరూపించడానికి తక్కువ అక్షాంశాల జాబితా నుండి, తీసివేత లాజిక్ను ఉపయోగిస్తారు.