Changes

|Description=A '''[[Procedural Method|procedural method''' ]] is a method which presupposes a doesn't presuppose any contingent propositions; it can only presuppose necessary truth, truths such as a truth those of mathematics or logic. Given the nature of necessary truths, it is impossible for one such truth to contradict another necessary truth since it must be true in all possible worlds. Therefore, it follows from the '''Method Rejection''' theorem that, since there can be no elements at odds with a necessary truth, any procedural method is, in principle, static.