霍布斯式是什么意思