13/08/25 NY:AN:NY.AN
>>538
動詞じゃないのか
想像も付かなかった
The Use of Ultraproducts in Commutative Algebra, 第 1999 号 12ページ
URLﾘﾝｸ(books.google.co.jp)
We will give meaning to the expression a satisfies the formula φ(ξ) in A (sometimes abbreviated to
φ(a) holds in A, or is true in A) by induction on the number of quantifiers.