An Introduction of the Formal Nature