English: So, I am not going to do it in the board here, but you can find a proof essentially, but the whole idea of developing axiomatic systems was to choose a set of axioms in the given language.
Telugu: కాబట్టి, నేను ఇక్కడ బోర్డులో దీన్ని చేయబోతున్నాను, కాని మీరు తప్పనిసరిగా ఒక రుజువును కనుగొనవచ్చు, కాని ఆక్సియోమాటిక్ వ్యవస్థ (axiomatic system)ను అభివృద్ధి చేయాలనే మొత్తం ఆలోచన ఇచ్చిన భాషలో సిద్ధాంతాల సమితిని ఎన్నుకోవడం.