Great Discoveries In Mathematics And Logic