Can the concepts of measure theory or probability theory be derived from logic in a complete fashion? Or, are the concepts of measure theory merely proven by arguments whose forms are logical? I'm looking to gain a complete understanding of measure theory, and I wonder if that means I have to understand how number theory first is derived from first order logic, for example. What book would give me the most complete derivation of measure theory? Thanks.