Hasil carian

...onteks [[Teori set Zermelo–Fraenkel|ZF]] ditambah dengan DC_R ([[aksiom pilihan bergantung]] untuk [[bilangan sebenar]]) menyatakan dua perkara: # Setiap [[set (matematik)|himpunan]] sebenar ialah [[Borel-∞]]. ...

...agaimanapun, beberapa varian bukan standard bagi teori set juga memasukkan set semesta. ...eza bagi ketiadaannya, berdasarkan pilihan aksiom yang berbeza untuk teori set. ...

..., kumpulan ialah [[set]] S dengan [[operasi dedua]] * yang mematuhi aksiom-aksiom berikut: [[Kategori:Teori semikumpulan]] ...

...titi|identiti]], dan [[unsur songsang|songsangan]]. Kumpulan yang mematuhi aksiom tambahan [[kalis tukar tertib]] dinamakan [[kumpulan Abel]]. ...ripada [[set]] <math>G</math> dan [[operasi dedua]] *, dan mematuhi aksiom-aksiom berikut: ...

...alis tukar tertib''' ialah [[kumpulan (matematik)|kumpulan]] yang mematuhi aksiom tambahan kalis tukar tertib. Kumpulan ini mendapat namanya bersempena [[Nei ...>A</math> dan [[operasi dedua]] * atas <math>A</math>, dan mematuhi aksiom-aksiom berikut: ...

...[[matematik]], '''<math>\in</math>-aruhan''' ('''epsilon-aruhan''' atau '''set-aruhan''') ialah varian bagi induksi transfinit. Dianggap sebagai skema aksiom teori set, ia dipanggil '''skema Axiom set aruhan'''. ...

[[File:nullset.png|upright=0.6|thumb|Set kosong adalah set yang tidak memiliki anggota.]] ...upakan satu [[set]] yang tidak memiliki anggota ([[Unsur (matematik)|unsur set]]). ...

...men di dalam set. Nombor kardinal melampaui terhingga pula menyatakan saiz set tak terhingga. ...set yang asal, sesuatu yang tidak boleh berlaku dengan subset wajar untuk set terhingga. ...

...''gelanggang''' ialah suatu struktur algebra yang terdiri daripada suatu [[set]] dilengkapi dengan dua [[operasi dedua]] (lazimnya dipanggil [[tambah]] da ...ab Descartes]]). Set bersama-sama dua operasi itu haruslah mematuhi aksiom-aksiom berikut: ...

...h sistem aksiom (biasanya dirumus dalam teori model) yang menerangkan satu set ayat yang ditutup di bawah implikasi logik.<ref>{{Cite web|url=http://mathw ...da aksiom sistem. Ketekalan adalah keperluan utama untuk kebanyakan sistem aksiom, kerana kehadiran percanggahan akan membolehkan sebarang pernyataan dibukti ...

...ng ditulis dalam bahasa simbolik, bukan bahasa asli, akan diterima dalam [[teori bukti]]. Perbezaan antara bukti formal dan tak formal telah membawa kepada ...[[teori bukti]] mengkaji bukti formal dan sifat-sifatnya. Walaupun secara teori, setiap bukti tidak formal boleh ditukar menjadi bukti formal, ia jarang di ...

...boleh dinyatakan dengan [[matriks (matematik)|matriks]] jika asas diberi. Teori matriks sering dianggap sebagai sebahagian dari subjek algebra linear. Alge ...i analisis]] dan [[pengitlakan|diitlak]] dalam [[teori pengoperasi]] dan [[teori modul]]. Ia diaplikasikan dengan meluas dalam [[kejuruteraan]], [[fizik]], ...

...bahagian pecahan, tidak seperti bahagian integer, tidak terhad kepada satu set angka yang terhingga. Ini adalah [[notasi kedudukan]], oleh itu angka 5 dal ...sangat kecil, mengandungi tepat satu nombor nyata di [[persilangan (teori set)|persilangannya]]. Oleh itu, ''b''₀.''b''₁''b''<sub>2 ...

...ik]] berkenaan perihalan berangka tentang kemungkinan sesuatu [[Peristiwa (teori kebarangkalian)|peristiwa]] akan berlaku, atau kemungkinan besar sesuatu sa ...ai contoh, membuat kesimpulan tentang kekerapan kejadian yang dijangkakan. Teori kebarangkalian juga digunakan untuk menerangkan mekanik dan keteraturan asa ...

...[[konjektur]] yang baru, dan menghasilkan fakta dengan deduksi rapi dari [[aksiom]] dan [[definisi]] yang dipilih dengan baik.<ref>Jourdain.</ref> ...ngunan disiplin matematik yang baru sepenuhnya seperti [[statistik]] dan [[teori permainan]]. Ahli matematik juga terlibat dalam [[matematik tulen]], satu c ...

...ahaman mudah bagi kedua-dua [[Penapis Eratosthenes]] dan [[Nombor sempurna|teori nombor sempurna]] (dinamakan, itu yang bernombor 6)[http://mathpages.com/ho ...rsamaan dengan [[mesin Turing]]. Karya Panini juga digunakan pada perintis teori moden bagi [[tatabahasa formal]] (penting dalam pengiraan), manakala [[bent ...