應用量子力學的數學表述條目裏的形式論，來做更具體的講述，為了簡易起見，設想一個量子系統，內中有兩個全同粒子。因為這兩個粒子具有完全相同的物理性質，它們的態向量的希爾伯特空間完全相同。假若標記一個粒子的希爾伯特空間為 
，則這兩個粒子結合的希爾伯特空間是張量乘積 
。
設定 
來標記單獨粒子量子態的（離散的）量子數（例如，在盒中粒子問題裏，設定 為波函數的量子化的波數）。假設一個粒子處於量子態 
，另一個粒子處於量子態 
。那麼，什麼是結合系統的量子態？或許猜想答案是
。
這只是一個正則方法，從單獨空間之結合，建構出一個張量乘積空間的基底。設定這表達式的第一個量子態為粒子 1 的量子態，第二個量子態為粒子 2 的量子態。那麼，這個表達式意味著可以區分粒子 1 是量子數為 
的粒子，粒子 2 是量子數為 
的粒子的粒子。可是，量子數不是粒子的內在物理性質。不能做這樣的區分。
事實上，實驗的結果顯示出，全同粒子的量子態是特別種類的多粒子量子態，稱為對稱態或反對稱態。對稱態的形式為
，
反對稱態的形式為
；
其中，等價方程式左手邊的兩個參數是允許的量子數。
代表對稱態 (symmetric state) ，
代表反對稱態 (antisymmetric state) ；右手邊的括弧內每一個項目的第一個量子態是粒子 1 的量子態，第二個量子態是粒子 2 的量子態。兩個量子態的前後順序很重要：
。
注意到假若 等於 ，則反對稱態會給出 0 。這機率幅是實際物理所不允許的。所以，反對稱態的兩個全同粒子不能處於同樣的量子態。這規則就是著名的包立不相容原理，是造成原子千變萬化的化學性質的主要因素。
對稱態與反對稱態的概念的正確性，最終是建立於實驗獲得的證據。大自然似乎並不允許全同粒子的量子態具有混合的對稱性，像下述公式：
。
事實上，這個規則有一個例外，稍後，會對這例外有所說明。從另外一方面來看，可以表明對稱態與反對稱態，就某種意義來說，是很特別的。檢視多粒子量子態的一種特別的對稱性，稱為交換對稱性。
定義一個線性算符 
，稱為交換算符。當交換算符作用於量子系統的兩個粒子時，這兩個粒子會互相交換：
。
原來粒子 1 的量子態是 
，粒子 2 的量子態是 
。經過 作用後，粒子 1 與粒子 2 交換。所以粒子 1 的量子態變為 ，而粒子 2 的量子態變為 。
算符 是個厄米算符和么正算符。因為它是么正的，可以將它視為一個對稱性算符，可以描述這個對稱性為粒子量子態的交換對稱性：經過 作用後，粒子 1 的量子態與粒子 2 的量子態交換。
明確地，
（ 
是單位算符）。所以， 的本徵值為 
或 
。對應的本徵態是對稱態與反對稱態：
注意到，經過粒子的交換，對稱態與反對稱態基本上並無改變，它們只被乘以一個因子 或 ，而不是被旋轉於希伯爾特空間。這證明了粒子的標籤並無任何物理意義，這與前面關於不可區分的講述相符合。
由於 是個厄米算符，它是一個可觀察量。理論上，可以做一個實驗測量來查明它到底是對稱態，還是反對稱態。此外，粒子的全同意味著哈密頓量可以寫為對稱形式，像
。
很明顯地，交換算符與哈密頓量滿足正則對易關係
![{\displaystyle \left[P,H\right]=0\,\!}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea7deb533a5d1936276c11f154d2a52397b3641f)
。
根據海森堡繪景，這方程式表明 是個運動常數。假若一個量子態本來是對稱態（反對稱態），隨著時間的演變，它仍舊會是對稱態（反對稱態）。在數學裏，態向量被限制為 的兩個本徵態之中的一個；它無法以整個希伯爾特空間為值域範圍。因此，可以乾脆將本徵空間當為這系統的真正的希伯爾特空間。這就是佛克空間 (Fock space) 的定義背後的點子。
在無限深方形阱裏，兩個全同費米子的反對稱性波函數繪圖。[註 1]
在無限深方形阱裏，兩個全同玻色子的對稱波函數繪圖。[註 2]
粒子的種類決定了它們的量子態是對稱態或反對稱態。例如，當描述光子、氦-4 原子時，必須用到對稱態；而當描述電子、質子時，就必須用到反對稱態。
量子態是對稱態的粒子稱為玻色子。稍後會說明，對於一個許多全同玻色子組成的系統，對稱性給予了非常重要的統計性質。這些統計性質稱為玻色-愛因斯坦統計。
量子態是反對稱態的粒子稱為費米子。反對稱性造成了包立不相容原理的產生，使得全同費米子被禁止共處於同樣的量子態。費米-狄拉克統計專門描述許多全同費米子組成的系統，
在某些二維系統裏，混合對稱性也可能發生。這些奇特的粒子被稱為任意子 (anyon) 。它們遵守分數統計 (fractional statistics)。分數量子霍爾效應實驗的證明了任意子的存在。在形成 MOSFET 反轉層的二維電子氣體裏，也觀察到了這種效應。另外有一種統計，稱為辮統計 (braid statistics) ，是用來描述許多全同普瑞頓子 (plekton) 組成的系統，
自旋統計理論將全同粒子的交換對稱性追溯至它們的自旋。這理論闡明玻色子的自旋是正整數，費米子的自旋是半整數，任意子的自旋是分數。
前面的講述可以很容易地推廣至 
個粒子的案例。設定 個粒子。再設定 個量子數為 
的單獨粒子量子態 
。設定其中獨特的量子數為 
。
代表量子數 
出現的次數（簡併度）。
假若這些粒子都是玻色子，則描述它們的量子態是完全對稱態，對於任何兩個粒子的交換，都是對稱的：
;
其中， 
代表所有從整數 
到 的置換的集合。這集合裏面有 
個元素。因此，公式右邊的總合表達式一共有 項目，每一個項目的指數 
是置換集合 的一個元素。指數 內部第 
個字位 
所代表的整數指定粒子 的量子數 
。平方根係數是一個歸一化常數。
假若這些粒子都是費米子，則描述它們的量子態是完全反對稱態，對於任何兩個粒子的交換，都是反對稱的：
其中，
是正號或負號。假若元素 屬於偶置換，則是正號；否則即是負號。注意到在這裏並沒有 
這個總乘積項目，因為每一個單獨粒子量子態只能出現一次；否則，機率幅等於 
。
這些多粒子量子態方程式都已經歸一化：
，
。
用位置空間的波函數來表示，標記 個費米子的波函數為 
；其中，
是允許的量子數，波函數的第 個參數 
是粒子 的位置。將量子數是 的單獨粒子波函數標記為 
。單獨粒子波函數只有一個位置參數 
。這樣， 個費米子的波函數可以用斯萊特行列式表示
。
。
。
。
。
。
。
。
。
。
。
在統計行為上，玻色子與費米子有很重要的差別。玻色子的統計行為是以玻色-愛因斯坦統計來描述，費米子的統計行為則是以費米-狄拉克統計來描述。粗略地說，玻色子喜好凝聚於同樣的量子態。因此，造成了雷射、玻色-愛因斯坦凝聚、超流體等等量子現象。在另一方面，費米子禁止共同享有同樣的量子態，造成了像費米氣體、白矮星、中子星等等奇異的系統。這規則稱為包立不相容原理。大多數的化學現象都與這原理有關。在原子裏，因為這原理，電子依次地裝填一層一層的電子層，而不是全部處於最低能量的量子態。
可區分粒子，玻色子，與費米子在統計行為上有很大的不同。稱兩個粒子為 和 
。每一個粒子都可以處於兩個能量相同的量子態，
與 
。
假若 和 是可區分粒子，則可能有四種不同的量子態：
，
，
，
。
統計力學的基礎假設闡明：給予一個處於熱力平衡的隔離系統，則每一個能量相同的微觀狀態都有相同的機率成為系統的狀態。根據這基礎假設，兩個粒子都處於 的機率是 
，兩個粒子都處於 的機率是 ，而一個粒子處於 ，另一個粒子處於 的機率是 
。
假若 和 是全同玻色子，則可能有三種不同的量子態：
- ，
- ，
。
假若這個隔離系統正處於熱力平衡，則兩個粒子都都處於 的機率是 
，兩個粒子都都處於 的機率也是 ，而一個粒子處於 ，另一個粒子處於 的機率還是 。請注意，找到玻色子處於同樣的量子態的機率大於可區分粒子處於同樣的量子態的機率。這表明了玻色子的趨向於凝聚。
假若 和 是全同費米子，則只有一種可能的量子態：
。
當做測量實驗時，會必然地得到一個粒子處於 ，另一個粒子處於 。
桌表 1 展示出前面講述的結果：
桌表 1 ：兩個粒子的統計
| 粒子
|
都處於
|
都處於
|
一個處於 ，另一個處於
|
| 可區分粒子 |
0.25 |
0.25
|
0.5
|
| 玻色子 |
0.33 |
0.33
|
0.33
|
| 費米子 |
0 |
0
|
1
|
![{\displaystyle [\sin(x)sin(3y)-sin(3x)sin(y)]/{\sqrt {2}},\qquad 0\leq x,y\leq \pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e124c5a5b380198b5035c6a600cdae1537752303)
![{\displaystyle -[\sin(x)sin(3y)+sin(3x)sin(y)]/{\sqrt {2}},\qquad 0\leq x,y\leq \pi }](https://wikimedia.org/api/rest_v1/media/math/render/svg/0a7cfa95be417efbf48bff0f6c409ae90f8a7f4b)