The distinction between 'formal' and 'genuine' exhaustiveness assumes ontology is determinate indepe...
This proposition has not been edited since the history system was added.