Kant assumes existence is never a predicate, but quantified logic treats 'there exists an x' as fund...
This proposition has not been edited since the history system was added.