我一直在尋找 Python 的數學定義。就像 IBM 的關系代數一樣。在我的 uni 課程的一些腳本中，我發現了一些類似的東西，但它更像是一種示例語言，通常用于解釋一些概念。我很想為 Python 找到類似的東西。