Kripkean semantics requires rigid designation of mathematical objects across worlds. 'Polynomial alg...
This proposition has not been edited since the history system was added.