Purpose Of Definition In Logic