This is the first book for making dialectical logic mathematically all over the world. Making some field mathematically in constant is a main direction in science researches. Dialectical logic, as a advanced logic, includes the formal logic as its special case, the point has been proofed in this book, is a logic that has not yet been mathematicalized before this book, now author gives a first step in this direction.