extensive definition in logic. There are any references about extensive definition in logic in here. you can look below.