Proof and concepts the fundamentals of abstract mathematics | AbS