The dimension of the empty space is - infinity

This is compatible with the definition in Bourbaki
Depth of the zero module is - infinity

Discussed here http://math.columbia.edu/~dejong/wordpress/?p=3372