English: Then, you know keep laying with the axiom it is a nice exercise you must try in practice you would not want a minimal as the system you would want a system in which inferences can be made very quickly.
Telugu: అప్పుడు, సిద్ధాంతంతో ఉంచడం మీకు తెలుసు, ఇది మీరు ఆచరణలో తప్పక ప్రయత్నించాలి, మీరు కనీసంగా కోరుకోని వ్యవస్థగా మీరు కోరుకునే వ్యవస్థ కావాలి, దీనిలో చాలా త్వరగా ఇన్ఫెరెన్స్(infrence) చేయవచ్చు.