I haven't worked through it, but Michael Nielsen has a great article about this: https://cognitivemedium.com/srs-mathematics.