Уточнить терминологию. first-order language, first-order model, first-order theory это как по-русски? Dmitri83 04:03, 6 апреля 2006 (UTC)
- Язык первого порядка, модель первого порядка, теория первого порядка Arami Mira (обс.) 19:27, 9 апреля 2024 (UTC)