Колмогоров аксиоматики
Колмогоров аксиоматики — пулаяслахсен теорине математика мелĕсемпе çырса кăтартакан тата А. Н. Колмогоров сĕннĕ аксиоматика. Вăл унашкал пĕртен-пĕр аксиоматика мар, анчах  шăпах унпа чи анлăн усă кураççĕ.

Каçăсем 
 
 
Formal definition of probability in the Mizar system, and the list of theorems formally proved about it.

Пулаяслăхсен теорийĕ
Ăслав меслечĕ
Ăслăх меслечĕ