To me, there is no doubt that logic cannot be constructed if it isn't initiated by a set of unprovable 'rules', axioms, to be more precise. For example, I can't prove that a statement is either true or false under any circumstances, but I do assume this is consistently true - if a statement is not false, it is necessarily true and vice-versa; there is no 'other' state. Hence one might say that logic is a product of some sort of faith, faith in the veracity of base principles. What is interesting is that logic is constructed, but also self-constructed. Namely, it possesses self-identification; it can be expanded on the basis of its own postulates. We could say logic starts as a set of rules and can then use itself to grow larger - a curious machinery. But this is only my own, isolated, analysis; I still have to develop it. I'd like to hear the opinions of other members of this forum. Are there others who are engaged in such a line of thought?