predicate



تاربرگ‌های پیموده‌شده در این نشست: powerset predicate proof-theoretic powerset Principle of bivalence Stewart Shapiro