Nature of logical statements and postulates.
Postulates are usually propositions that do not have a definite proof. They are usually statements concluded from an experiment. A Logical statement is defined as an assertion obtained by the application of rules that are defined to be correct. In the context of this article, term ‘rule’ is used interchangeably in place of the term ‘logical-statement’ and the term rule-set is always used interchangeably with the phrase ‘a set of logical statements’. And by definition, a logical statement is a statement derived from fixed principles that are known to be correct. Contrary to the popular belief that every statement can be proved, in reality, not all statements can be proven. This is because, in the end, every rule is constructed by fixed rules and to prove the ‘fixed rules’ correctness, we will need more ‘fixed rules’.
