Standard first-order logic assumes extensionality; intentional contexts require intensional logic wh...
This proposition has not been edited since the history system was added.