Remarks On Mathematical Or Demonstrative Reasoning