Demonstrative and Non-demonstrative Reasoning in Mathematics and Natural Science