прикладная-математика - Математика для гуманитариев

Рекомендую изложить лингвистам основания математики.

Примеры [применения лингвистом оснований математики]

1. Высказывание «Хотя бы один бог - это множество всех множеств.» (англ. - «At least one god is the set of all sets.») моделируется высказыванием $$\exists^{\geq \ 1} x (x \in \{gods\} \leftrightarrow \forall z (z \in x))$$
2. Высказывание «По тропике шли трое.» (англ. - «Three were going along the path.») моделируется высказыванием $$\exists^{= \ 3}x (x \ was \ going \ along \ the \ path.)$$ 2.0 Предикат «По тропике шёл $%x$%.» (англ. - «$%x$% was going along the path.») моделируется предикатом $$\exists^{= \ 1}y (y \in \{pathes\} \wedge \ x \ was \ going \ along \ y.)$$ 2.1 Предикат «$%x$% шёл по тропинке.» моделируется предикатом $$y \in \{pathes\} \wedge \ x \ was \ going \ along \ y.$$ 2.2 Предикат «$%x$% was going along a path.» моделируется предикатом $$y \in \{pathes\} \wedge \ x \ was \ going \ along \ y. \ \wedge \ 2 \leq card(\{pathes\}) \leq \aleph_0$$