Encase Vs Axiomatic System And Finite