The idea of trying to demonstrate or prove something is actually mathematically true appears to have started with which of the following?