- 541 名前：ご冗談でしょう？名無しさん mailto:sage [2013/08/25(日) NY:AN:NY.AN ID:???]
- >>538
動詞じゃないのか
想像も付かなかった
The Use of Ultraproducts in Commutative Algebra, 第 1999 号 12ページ
books.google.co.jp/books?id=ohbdke-cBxwC&hl=ja&pg=PA12#v=onepage&q&f=false
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.
