Proof and concepts the fundamentals of abstract mathematics