stanford-oval/wikipedia huggingface dataset:
Orang Indonesia Amerika
Demografi > Suku

Orang Indonesia-Amerika terdiri dari berbagai subkategori suku seperti orang Minahasa, Jawa, Batak, atau Tionghoa. Orang Indonesia pertama yang pindah ke California Selatan adalah orang Indo (orang Indonesia keturunan campuran Indonesia asli dan Eropa). Namun, mayoritas orang Indonesia yang datang pada tahun 1960-an adalah keturunan Tionghoa. Perkiraan tidak resmi menunjukkan bahwa sebanyak 60% orang Indonesia di California Selatan adalah keturunan Tionghoa. Pernikahan antar ras tidak jarang terjadi, terutama di kalangan anak muda, meskipun para orang tua lebih suka anak-anak mereka menikah dengan orang Indonesia atau Tionghoa.
Banyak generasi kedua dari orang Indonesia-Amerika masih merasakan hubungan dengan identitas Indonesia mereka melalui leluhur mereka, meskipun sering kali mereka tidak sepenuhnya memahami bahasa Indonesia.
Demografi > Agama

Warga Amerika keturunan Indonesia menganut berbagai agama, termasuk Islam, Protestan, Katolik, Konghucu, Budha, dan Hindu, meskipun tiga yang pertama adalah yang paling umum.
Meskipun Islam mendapatkan popularitasnya di kalangan warga Amerika keturunan Indonesia karena Indonesia merupakan salah satu negara Islam terbesar di dunia, tetapi Kekristenan merupakan tradisi agama yang paling berkembang pesat di antara komunitas ini. Gereja Indonesia pertama di AS adalah Gereja Masehi Advent Hari Ketujuh yang didirikan di Glendale, California pada tahun 1972 dengan jemaat yang sebagian besar adalah orang Indonesia (sekarang terletak di Azusa, CA); namun, seiring dengan semakin banyaknya migran pribumi yang bergabung dengan gereja tersebut, ketegangan rasial pun muncul, dan orang Indonesia pun menarik diri ke gereja-gereja lain. Gereja Indonesia kedua yang didirikan di AS adalah sebuah gereja Baptis, yang didirikan oleh seorang pendeta etnis Tionghoa dan memiliki jemaat yang sebagian besar terdiri dari etnis Tionghoa. Pada tahun 1988, terdapat 14 jemaat Protestan Indonesia; sepuluh tahun kemudian, jumlah tersebut bertambah menjadi 41 jemaat, dengan dua jemaat Katolik Indonesia. Agama Katolik paling banyak hadir dalam komunitas Indonesia-Amerika di negara-negara bagian seperti California, Georgia, New Jersey, atau Pennsylvania, di mana misa mingguan atau bulanan diadakan dalam bahasa Indonesia. Banyak imigran Tionghoa-Indonesia di akhir tahun 1990-an yang beragama Kristen, dan memilih untuk meninggalkan tanah air mereka karena takut akan penganiayaan.
Jumlah Muslim Indonesia sekitar 15% dari populasi Indonesia di Amerika pada tahun 1990-an. Masjid Indonesia pertama di AS adalah Masjid Al-Hikmah yang didirikan di Astoria, New York, yang saat ini diketuai oleh Shamsi Ali. Pada tahun 2017, komunitas Muslim Indonesia di Los Angeles membeli sebuah bekas gereja di 1200 Kenmore Avenue dan mengubahnya menjadi Masjid At-Thohir. Ada juga masjid Indonesia di Silver Spring, Maryland yang diberi nama IMAAM Center. Masjid ini sangat aktif saat ini melalui layanan reguler dan penjangkauan komunitas, karena merupakan pusat penting bagi kehidupan Muslim Indonesia di Amerika. Banyak masyarakat Indonesia kelas atas yang memilih untuk lebih berasimilasi dengan budaya Amerika karena kenyamanan ekonomi dan budaya. Dari sudut pandang mereka yang berada di dalam komunitas ini, hal ini dapat dilihat sebagai penyimpangan dari identitas Muslim Indonesia.
Demografi > Ketenagakerjaan

Sekitar satu dari setiap delapan orang Indonesia-Amerika bekerja sebagai juru masak, pelayan, atau pramusaji. Restoran yang dimiliki oleh orang Indonesia-Amerika merupakan tempat untuk menyatukan budaya melalui makanan dan tradisi bersama.
Media

Orang Indonesia telah mendirikan sejumlah publikasi di California. Media yang pertama adalah Indonesian Journal, didirikan pada tahun 1988, dan diterbitkan dalam bahasa Indonesia. Media lain termasuk Actual Indonesia News, yang berbasis di Loma Linda (didirikan 1996, juga di Indonesia) dan Glendora Indonesia Media (didirikan 1998).  Majalah bulanan The Indonesia Letter yang berbasis di Los Angeles memiliki sirkulasi terbesar. Pada tahun 2007, sebuah perusahaan yang berbasis di San Francisco, California bernama California Media International, Inc menerbitkan publikasi berupa majalah berbahasa Indonesia bernama Kabari. Hingga sekarang Kabari menjadi salah satu media publikasi berbahasa Indonesia terbesar di Amerika Serikat.[butuh rujukan]
Tokoh Orang Indonesia Amerika > Bisnis dan teknologi

Julia S. Gouw, Presiden East West Bancorp
Theresia Gouw, Investor/Pemodal Ventura
Hans Gunawan, Wakil Presiden Keuangan Roblox
Leo Koguan, Ketua dan salah satu pendiri, SHI International
Sehat Sutardja, Salah satu pendiri Marvell Technology Group
Pantas Sutardja, Salah Satu Pendiri Marvell Technology Group
Tonny Soesanto, CEO dan Pendiri Kikka Sushi
Eric Tjahjadi, Wakil Presiden, Kepala Penjualan Iklan Global di Sony Music
Tokoh Orang Indonesia Amerika > Seni dan hiburan

Joey Alexander, pianis
Lulu Antariksa, aktris dan penyanyi
Carmit Bachar, anggota The Pussycat Dolls, penyanyi, penari, dan aktris
Michelle Branch, Penyanyi dan penulis lagu pemenang Grammy
Mark-Paul Gosselaar, aktor, ibu berdarah Belanda-Indonesia
Cynthia Gouw, Aktris, pembawa acara dan pembawa berita TV yang dinobatkan sebagai Miss Chinatown USA 1984
Tania Gunadi, aktris Hollywood kelahiran Indonesia
Steven Ho, seniman bela diri dan aktor
Coco Lee, artis internasional, penyanyi, aktris, dan penulis lagu yang berbasis di Hong Kong (ayahnya adalah seorang etnis Tionghoa dari Indonesia dan ibunya berasal dari Hong Kong, Tiongkok)
Rory Leidelmeyer, binaragawan dan pemeran pengganti
Innosanto Nagara, penulis, ilustrator
Irma Pane, penyanyi pop
Jodi Ann Paterson, model
Rich Brian, rapper, penyanyi, penulis lagu, produser rekaman
Niki, penyanyi, penulis lagu
Yoshi Sudarso, aktor, pemeran pengganti
Alex Van Halen, Anggota grup musik rock Van Halen, ibunya berdarah Belanda-Indonesia
Eddie Van Halen, Anggota grup musik rock Van Halen, ibunya berdarah Belanda-Indonesia
Wolfgang Van Halen,
Armand van Helden, DJ, produser rekaman, remixer, dan penulis lagu asal Amerika
Stephanie Poetri, penyanyi-penulis lagu
Dallas Liu, aktor
Warren Hue, rapper
Tokoh Orang Indonesia Amerika > Kriminal

Rudy Kurniawan, kriminal dan pelaku pemalsuan anggur.
Tokoh Orang Indonesia Amerika > Literatur dan media

Li-Young Lee, Penyair Amerika; berasal dari etnis Tionghoa, lahir di Indonesia
Rahadyan Sastrowardoyo, penulis, editor, dan fotografer
Shamsi Ali
Tokoh Orang Indonesia Amerika > Olahraga

Arki Dikania Wisnu, pemain bola basket
Rudy Gunawan, pemain bulu tangkis juara dunia
Tony Gunawan, juara dunia, peraih medali emas Olimpiade, dan pemain bulu tangkis
Halim Haryanto, pemain bulu tangkis juara dunia All England
John Juanda, pemain poker profesional
Chris Limahelu, pemain sepak bola Amerika
Kyle Winter, pemain uni rugbi
Gavin Kwan Adsit, pemain sepak bola
Tokoh Orang Indonesia Amerika > Politik

Maya Soetoro-Ng, saudara tiri mantan presiden Amerika Serikat Barack Obama
Joyce L. Kennard, mantan Hakim Madya di Mahkamah Agung California
Marissa Hutabarat, Hakim Pengadilan Distrik di New Orleans
Andrew Lie, ketua dewan sekolah untuk Distrik Sekolah Menengah Atas Jefferson Union, California
Tokoh Orang Indonesia Amerika > Sains

Willem Jacob Luyten, astronom
Pranala luar

Indonesian American Association – Ikatan Keluarga Indonesia
US Census 2000 foreign born population by country
daftar Gereja-gereja bahasa Indonesia di Amerika
Jembatan Informasi Indonesia-Amerika
Media Indonesia-Amerika
| l b Asia-Amerika |
| --- | --- | --- |
| Asia Timur | Tionghoa ·  Jepang ·  Korea ·  Mongolia ·  Taiwan ·  Tibet ·  Ryukyu |  |
| Asia Selatan† | Bangladesh ·  India ·  Indo-Karibia ·  Nepal ·  Pakistan ·  Sri Lanka ·  Tamil |  |
| Asia Tenggara | Burma ·  Kamboja ·  Filipina ·  Hmong ·  Indonesia ·  Laos · Malaysia ·  Mien ·  Singapura ·  Thai ·  Vietnam |  |
| Lainnya | Afrika-Asia ·  Amerasia ·  Asia-Hispanik dan Amerika Latin ·  Eurasia |  |
| † Biro Sensus AS memasukkan Afganistan sebagai negara Asia Selatan, tapi tidak memasukkan Afgan- Amerika sebagai orang Asia. | † Biro Sensus AS memasukkan Afganistan sebagai negara Asia Selatan, tapi tidak memasukkan Afgan- Amerika sebagai orang Asia. |  |
| l b  Orang Indonesia dan Melayu di perantauan |
| --- | --- | --- |
| Afrika |  Mesir  Afrika Selatan  |  |
| Amerika |  Kanada  Suriname  Amerika Serikat  |  |
| Asia |  Hong Kong  Jepang  Filipina  Arab Saudi  Singapura  Korea Selatan  Sri Lanka  Taiwan  Uni Emirat Arab  |  |
| Eropa |  Belanda  Britania Raya  |  |
| Oseania |  Australia Kepulauan Cocos (Keeling)  Kaledonia Baru  Selandia Baru  |  |
| Lainnya |  Aceh perantauan  Jawa perantauan  Minangkabau perantauan  |  |
| Pengawasan otoritas  |
| --- | --- |
Perpustakaan nasional:  Amerika Serikat 
Lain-lain:  Faceted Application of Subject Terminology
Kuantifer (logika)

Dalam bahasa alami, kuantifer mengubah kalimat tentang sesuatu yang memiliki beberapa properti menjadi kalimat tentang jumlah (kuantitas) benda sifat. Contoh bilangan dalam bahasa Inggris adalah "all", "some", "many", "few", "most", dan "no"; Contoh kalimat terkuantifikasi adalah "semua orang fana", "beberapa orang fana", dan "tidak ada orang yang fana", adalah benar, dan salah.
Dalam logika matematika, khususnya dalam logika orde pertama, kuantifer mencapai tugas serupa, beroperasi pada rumus matematika dari kalimat bahasa Inggris.
Lebih tepatnya, pembilang menentukan jumlah spesimen dalam domain wacana yang menggunakan rumus terbuka. Dua bilangan formal yang umum adalah "kuantifikasi universal" (pembilang universal, secara tradisional dilambangkan dengan "∀" ), dan "  eksistensial kuantifikasi" (pembilang eksistensial, "∃"). Misalnya, dalam aritmetika, bilangan memungkinkan bahwa bilangan asli berlangsung, dengan menulis bahwa "untuk bilangan asli n, bilangan asli m yang terbesar dari n "; ditulis sebagai formal sebagai "∀ n ∈ℕ. ∃ m ∈ℕ. m > n ". Contoh di atas dapat diformalkan sebagai "∀ p ∈ P. M ( p )", "∃ p ∈ P. M ( p )", dan " ¬ ∃ p ∈ P. M ( p )", ketika P menunjukkan himpunan, dan m ( p ) menunjukkan "p adalah fana".
Rumus dimulai dengan kuantifer disebut rumus kuantifikasi. Kuantifer formal membutuhkan variabel, yang dikatakan terkait, dan subrumus menentukan sifat variabel.
Pengukur formal digeneralisasikan dengan karya Mostowski dan Lindström.
Relasi dengan konjungsi dan disjungsi logis

Untuk domain hingga wacana D = {a 1, ... a n }, pembilang universal ekuivalen dengan konjungsi logis dari proposisi dengan istilah tunggal a i (dengan bentuk Pa i untuk predikat monadik).
Pengukur eksistensial ekuivalen dengan disjungsi logis dari proposisi digunakan struktur yang sama seperti sebelumnya. Untuk wacana yang tak hingga, persamaannya serupa.
Relasi dengan konjungsi dan disjungsi logis > Domain wacana tak hingga

Perhatikan pernyataan berikut:
Konjungsi proposisi yang tak hingga dari sudut bahasa formal secara langsung menjadi masalah, karena aturan sintaks dengan menghasilkan kata terbatas.
Contoh di atas, karena prosedur untuk konjungsi. Namun, jika pernyataan dibuat tentang bilangan irasional, tidak ada cara untuk menghitung semua konjungsi, karena irasional tidak disebutkan. Rumus ekuivalen ringkas masalah menggunakan penghitungan universal:
Analisis serupa berlaku untuk disjungsi,
dirumuskan ulang menggunakan kuantifikasi eksistensial:
Pendekatan aljabar untuk kuantifikasi

Dimungkinkan untuk merancang aljabar abstrak yang modelnya mencakup bahasa formal dengan kuantifikasi, tetapi kemajuannya lambat[butuh klarifikasi] dan minat pada aljabar terbatas. Tiga pendekatan dirancang saat ini:
Aljabar relasi, ditemukan oleh Augustus De Morgan, dan diterbitkan oleh Charles Sanders Peirce, Ernst Schröder, Alfred Tarski, dan siswa Tarski. Aljabar relasi tidak dapat merepresentasikan rumus dengan bilangan yang bersarang lebih dari tiga kedalaman. Anehnya, model aljabar relasi mencakup teori himpunan aksiomatik ZFC dan aritmetika Peano ;
Tabung aljabar, dibuat ditemukan Alfred Tarski, Leon Henkin, dan lainnya;
Aljabar poliadic dari Paul Halmos.
Notasi

Dua bilangan yang umum adalah bilangan universal dan bilangan eksistensial. Simbol tradisional untuk pembilang universal adalah " ∀ ", huruf yang diputar " A ", yang berarti "semua". Simbol yang sesuai untuk pembilang eksistensial adalah " ∃ ", huruf " E " yang diputar, yang berarti "ada".
Contoh translasi pernyataan terkuantifikasi dalam bahasa alami seperti bahasa Indonesia adalah sebagai berikut. Dengan pernyataan, "Setiap teman Udin suka menari atau suka pergi ke pantai (atau keduanya)", aspek kunci dapat diidentifikasi dan ditulis ulang menggunakan simbol termasuk bilangan. Jadi, misalkan X adalah himpunan dari semua teman Udin, U( x ) predikat "x suka menari", dan Q( x ) predikat "x suka pergi ke pantai". Maka kalimat diatas dapat ditulis dalam notasi formal sebagai  \forall {x}{\in }X,U(x)\lor Q(x), yang dibaca, "untuk x yang merupakan anggota X, U berlaku untuk x atau Q berlaku untuk x ".
Beberapa ekspresi terkuantifikasi lainnya dibangun sebagai berikut,
untuk rumus U kedua ungkapan ini (menggunakan definisi di atas) dibaca sebagai "ada teman Udin yang suka menari" dan "semua teman Udin suka menari". Notasi varian termasuk, untuk himpunan X dan himpunan anggota x :
Semua variasi berlaku untuk penghitungan universal. Variasi lain untuk pembilang universal adalah
Beberapa versi notasi secara eksplisit menyebutkan kisaran kuantifikasi. Kisaran penghitungan harus selalu ditentukan; untuk teori matematika tertentu dapat dilakukan dengan beberapa cara:
Asumsikan domain diskursus tetap untuk setiap kuantifikasi, seperti yang dilakukan dalam teori himpunan Zermelo–Fraenkel ,
Perbaiki beberapa domain wacana terlebih dahulu dan mengharuskan setiap variabel memiliki domain yang dideklarasikan, yang merupakan jenis variabel itu. Ini sejalan dengan situasi dalam bahasa pemrograman komputer yang diketik secara statis, di mana variabel telah menyatakan tipe.
Sebutkan secara eksplisit kisaran kuantifikasi, mungkin menggunakan simbol untuk himpunan semua objek dalam domain itu (atau tipe objek dalam domain itu).
Menggunakan variabel apa pun sebagai variabel terkuantifikasi sebagai pengganti variabel lain, di bawah batasan tertentu di mana pengambilan variabel. Meskipun notasi menggunakan variabel yang diketik, variabel jenis itu dapat digunakan.
Secara informal atau dalam bahasa alami, "∀ x " atau "∃ x "setelah atau di tengah P ( x ). Secara formal, frase yang memperkenalkan variabel dummy ditempatkan di depan.
Rumus matematika menggabungkan ekspresi simbolis untuk bilangan dengan bilangan bahasa alami seperti,
Kata kunci untuk penghitungan ketunggalan meliputi:
Selanjutnya, x dapat diganti dengan kata ganti. Sebagai contoh,
Urutan kuantifer (bersarang)

Urutan bilangan untuk makna, seperti yang diilustrasikan oleh dua proposisi berikut:
Hal ini jelas benar, setiap bilangan asli memiliki persegi. Arti pernyataan di mana urutan bilangan dibalik berbeda:
Hal ini jelas salah; ia menegaskan bahwa ada satu bilangan asli s yang merupakan kuadrat dari setiap bilangan asli. Ini karena sintaksis mengarahkan bahwa variabel apa pun tidak dapat menjadi fungsi dari variabel yang diperkenalkan selanjutnya.
Sebuah contoh non-trivial dari analisis matematis adalah konsep keseragaman dan kontinuitas pointwise, yang definisinya hanya berbeda dengan pertukaran dalam posisi dua bilangan. Fungsi f dari R ke R.
Kontinu Pointwise jika 



∀
ε
>
0

∀
x
∈

R


∃
δ
>
0

∀
h
∈

R


(

|

h

|

<
δ

⇒


|

f
(
x
)
−
f
(
x
+
h
)

|

<
ε
)


{\textstyle \forall \varepsilon >0\;\forall x\in \mathbb {R} \;\exists \delta >0\;\forall h\in \mathbb {R} \;(|h|<\delta \,\Rightarrow \,|f(x)-f(x+h)|<\varepsilon )}
Kontinu unuform jika 



∀
ε
>
0

∃
δ
>
0

∀
x
∈

R


∀
h
∈

R


(

|

h

|

<
δ

⇒


|

f
(
x
)
−
f
(
x
+
h
)

|

<
ε
)


{\textstyle \forall \varepsilon >0\;\exists \delta >0\;\forall x\in \mathbb {R} \;\forall h\in \mathbb {R} \;(|h|<\delta \,\Rightarrow \,|f(x)-f(x+h)|<\varepsilon )}
Dalam kasus sebelumnya, nilai tertentu yang dipilih untuk δ dapat berupa fungsi dari ε dan x, variabel yang mendahuluinya.
Dalam kasus terakhir, δ dapat menjadi fungsi hanya dari ε (yaitu, dipilih terlepas dari x). Sebagai contoh, f(x) = x2, tetapi tidak keseragaman kontinuitas.
Sebaliknya, menukar dua bilangan universal awal dalam definisi kontinuitas pointwise tidak mengubah artinya.
Kedalaman maksimum penyarangan bilangan dalam sebuah rumus disebut "pangkat kuantifer".
Ekspresi ekuivalen

Jika D adalah domain dari x dan P(x) adalah predikat yang bergantung pada variabel objek x, maka proposisi universal dapat dinyatakan sebagai
Notasi ini dikenal sebagai dibatasi atau direlatifkan atau kuantifikasi terbatas. Sama halnya menulis,
Proposisi eksistensial dapat diekspresikan dengan kuantifikasi terbatas sebagai
atau ekuivalen
Dengan negasi, hanya satu dari bilangan universal atau eksistensial yang diperlukan untuk melakukan kedua tugas tersebut:
yang menunjukkan bahwa untuk menyangkal proposisi "untuk semua x", seseorang tidak perlu lebih dari menemukan x yang predikatnya salah. Demikian pula,
untuk menyangkal sebuah proposisi "ada x", kita perlu menunjukkan bahwa predikatnya salah untuk semua x.
Semantik formal

Semantik matematika adalah aplikasi matematika untuk mempelajari makna ekspresi dalam bahasa formal. memiliki tiga elemen: spesifikasi matematis dari kelas objek melalui sintaks, spesifikasi matematis dari berbagai domain semantik dan hubungan antara keduanya, yang biasanya dinyatakan sebagai fungsi dari objek sintaksis ke objek semantik. Artikel ini hanya membahas masalah bagaimana elemen pembilang diinterpretasikan.
Sintaks rumus dapat digunakan oleh pohon sintaks. Kuantifer memiliki ruang lingkup, dan variabel x adalah bebas jika tidak berada dalam lingkup perhitungan untuk variabel. Maka
kemunculan x dan y dalam C(y, x) bebas, sedangkan kemunculan x dan y dalam B(y, x) bond (yaitu tidak bebas).
Interpretasi untuk kalkulus predikat orde pertama mengasumsikan sebagai domain individu X. Rumus A dari variabel bebas x1, ..., xn diinterpretasikan sebagai fungsi Boolean F(v1, ..., vn) dari argumen n, di mana setiap argumen berkisar pada domain X. Nilai Boolean berarti bahwa fungsi tersebut mengasumsikan salah satu nilai T (ditafsirkan sebagai kebenaran) atau F (ditafsirkan sebagai kepalsuan). Penafsiran rumus
adalah fungsi G dari n-1 argumen G(v1, ..., vn-1) = T jika dan hanya jika F(v1, ..., vn-1, w) = T untuk w in X. Jika  F(v1, ..., vn-1, w) = F untuk setidaknya satu nilai w, maka G(v1, ..., vn-1) = F. Demikian pula interpretasi rumusnya
adalah fungsi H dari n-1 argumen sedemikian rupa H(v1, ..., vn-1) = T jika dan hanya jika F(v1, ..., vn-1, w) = T untuk setidaknya satu w dan jika tidak H(v1, ..., vn-1) = F.
Semantik untuk kuantifikasi keunikan membutuhkan kalkulus predikat orde pertama dengan persamaan. Artinya predikat dua tempat yang dibedakan "="; semantik juga dimodifikasi sedemikian rupa sehingga "=" selalu diartikan sebagai relasi persamaan dua tempat pada X. Interpretasinya adalah
kemudian adalah fungsi dari n-1 argumen, yang merupakan logika dari interpretasi
Jenis kuantifikasi mendefinisikan operator penutupan yang sesuai pada himpunan rumus, dengan menambahkan, untuk setiap variabel bebas x, pembilang untuk x. Misalnya, penutupan eksistensial dari rumus terbuka n>2 ∧ xn+yn=zn adalah rumus tertutup ∃n ∃x ∃y ∃z (n>2 ∧ xn+yn=zn); rumus terakhir, ketika ditafsirkan di atas bilangan asli, diketahui salah oleh teorema terakhir Fermat. Sebagai contoh lain, aksioma persamaan, x+y=y+x, biasanya dimaksudkan untuk menunjukkan penutupan universal ∀x ∀y (x+y=y+x) untuk mengekspresikan komutatif.
Paucal, multal dan kuantifer derajat lainnya

Lihat pula: Teorema Fubini dan Ukuran (matematika)
Dari bilangan yang dibahas sebelumnya berlaku untuk bilangan seperti
Salah satu mekanisme interpretasi yang mungkin dapat diperoleh sebagai berikut: Misalkan sebagai tambahan untuk domain semantik X, ukuran probabilitas P yang ditentukan pada X dan bilangan Cutoff 0 < a ≤ b ≤  1.  If A adalah rumus dengan variabel bebas x1,...,xn yang interpretasi
fungsi F variabel v1,...,vn
kemudian interpretasi
adalah fungsi dari v1,...,vn-1 yaitu T jika dan hanya jika
dan F sebaliknya. Begitu pula dengan interpretasi
adalah fungsi dari v1,...,vn-1 yaitu F jika dan hanya jika
dan T sebaliknya.
[butuh rujukan]
Paucal, multal dan kuantifer derajat lainnya > Kuantifer lainnya

Beberapa kuantifer lain telah diusulkan dari waktu ke waktu. Secara khusus, pengukur solusi,:28 mencatat § (tanda bagian) dan membaca "itu". Sebagai contoh,
dibaca "itu n dalam N seperti itu n2 ≤ 4 berada dalam {0,1,2}." Konstruksi yang sama dapat diekspresikan dalam notasi himpunan-builder sebagai
Berlawanan dengan bilangan lain, § menghasilkan satu himpunan dari rumus.
Beberapa bilangan lain yang terkadang digunakan dalam matematika meliputi:
Ada banyak elemen yang tak terbatas sehingga...
Untuk semua kecuali banyak elemen yang terbatas... (kadang-kadang dinyatakan sebagai "untuk semua elemen...").
Ada banyak elemen yang tak terhitung banyaknya sehingga ...
Untuk semua kecuali banyak elemen...
Untuk semua elemen dalam satu himpunan ukuran positif...
Untuk semua elemen kecuali yang ada dalam satu himpunan ukuran nol...
Lihat pula

Portal Matematika
General mutlak
Hampir semua (matematika)
Kantifer bercabang
Kuantifer bersyarat
Hitung kuantifikasi
Iventuali (matematika)
Kuantifer generalisasi - properti tingkat tinggi yang digunakan sebagai semantik standar dari frase kata benda
Kuantifer Lindström - pembilang poladik umum
Kuantifer eliminasi
Kuantifer shift
Bibliografi

Barwise, Jon; and Etchemendy, John, 2000. Language Proof and Logic. CSLI (University of Chicago Press) and New York: Seven Bridges Press. A gentle introduction to first-order logic by two first-rate logicians.
Frege, Gottlob, 1879. Begriffsschrift. Translated in Jean van Heijenoort, 1967. From Frege to Gödel: A Source Book on Mathematical Logic, 1879-1931. Harvard University Press. The first appearance of quantification.
Hilbert, David; and Ackermann, Wilhelm, 1950 (1928). Principles of Mathematical Logic. Chelsea. Translation of Grundzüge der theoretischen Logik. Springer-Verlag. The 1928 first edition is the first time quantification was consciously employed in the now-standard  manner, namely as binding variables ranging over some fixed domain of discourse. This is the defining aspect of first-order logic.
Peirce, C. S., 1885, "On the Algebra of Logic: A Contribution to the Philosophy of Notation, American Journal of Mathematics, Vol. 7, pp. 180–202. Reprinted in Kloesel, N. et al., eds., 1993. Writings of C. S. Peirce, Vol. 5. Indiana University Press. The first appearance of quantification in anything like its present form.
Reichenbach, Hans, 1975 (1947). Elements of Symbolic Logic, Dover Publications. The quantifiers are discussed in chapters §18 "Binding of variables" through §30 "Derivations from Synthetic Premises".
Westerståhl, Dag, 2001, "Quantifiers," in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
Wiese, Heike, 2003. Numbers, language, and the human mind. Cambridge University Press. ISBN 0-521-83182-2.