A logical expansion in mathematics

A logical expansion in mathematics