ブラウザの設定でJava Scriptの使用を有効にしてご利用ください。
出典:Wikipedia
出典:『Wikipedia』 (2010/07/16 20:57 UTC 版)
In mathematical logic, a second-order predicate is a predicate that takes a first-order predicate as an argument. Compare higher-order predicate.
second-order predicate