I am from a non-mathematics background but the course that I am taking in probability class is built on measure theory. I found many theorems stated in the book hard to comprehend and I think that's partly due to my insufficient maths background. I am self-learning real analysis currently and think it may be equally important to systematically learn abstract algebra if I really want to know the logic behind the probability class I am currently taking.
I find myself completely lost proceeding to the following section of the text.
"Let be a relation, a mathematical object, and a letter (i.e., a "totally indeterminate" mathematical object). In the assembly of letters and fundamental signs which constitutes the relation , replace the letter wherever it occurs by the assembly . One of the criteria for forming relations is that the assembly so obtained is again a relation, which is denoted by the notation
and is called the relation obtained by substituting for in , or by giving the value in . The mathematical object A is said to satisfy the relation if the relation is true. It goes without saying that if the letter does not appear at all in the assembly , then the relation is just , and in this case to say that satisfies means that is true."
However, I do appreciate the textbook that is self-contained and appreciate the author devoted to mathematical reasoning so rigorously at the beginning of the chapter. I tried to find some textbook about mathematical logic but they are either too abstract or not thorough enough that seems to start from the most fundamental (i.e. from axiom and the most basic rule).
I have read relevant posts on the subject I am asking but can't decide the material right for me. I am wondering if there are any materials or textbooks that introduce mathematical logic rigorously and serve as a supplementary text for me to understand the first chapter of the book? If there really isn't any textbook that is not too abstract but rigorous enough, I am wondering if there are any other textbooks on abstract algebra that start from mathematical logic and build the whole system from the scratch?