But even in logic you have to use some axioms (for example, there exists a set or speed of light is same in all directions or constants are constant imagery part of the universe). And I am sure not all assumptions are proven (and probably never will be).