Comment by TKoL on Logic and its beginnings and why it is

I think it's a good question, and I think the answer is unsatisfyingly No, logic isn't exactly logical. In other words, you can't prove logic logically. en.m.wikipedia.org/wiki/M%C3%BCnchhausen_trilemma