Finite axiomatizability status of formal systems doesn't determine whether natural-language modal cl...
This proposition has not been edited since the history system was added.