[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] The rejection of the universal quantifier in coherent logic amounts to philosophically the rejection of the entire branch of Western logic from ancient times, since even Aristotle's term logic accepted some form of universal quantification. category: redirected to nlab