Was Pedro Martinez's 2000 season best ever in modern era?

Pedro Martinez was inducted into the Baseball Hall of Fame on Sunday in a no-brainer of a selection on his first attempt via the BBWAA vote. Last December and January, we discussed the merits of his career and even his insane seven-season stretch, but let's zero in on one single year right now: 2000.