Is it logics a branch of maths or vice versa?
From a the point of view of the definition of a logical system, logics is a 'calculus' which has axioms and rules as any branch of maths. However it seems that we are entitled to use logics rules in any branch of mathematics which will lead us to think that mathematics is inside logics.
For example, Godel's theorem is a theorem of logics or of maths? and if it's a theorem of maths, isn't it maths talking about maths? Then, is it legal that this theorem makes an statement about a 'flaw' in maths? Isn't it like a snake eating it's own tale?