Zh:二階邏輯

From Free net encyclopedia