https://onlinelibrary.wiley.com/doi/10.1111/j.1755-2567.2012.01136.x
https://plato.stanford.edu/entries/two-dimensional-semantics/
Non omnes formulae significant quantitatem, et infiniti modi calculandi excogitari possunt. (Leibniz)
Are quantifiers convenient fictions with fundamenta in re ? What does constructivism and dependent type theory have to say about this ? And...