Classical Aristotelian logic treated 'all S are P' as false when S is empty, but modern logic requir...
This proposition has not been edited since the history system was added.