סינית ⇄ רוסית

命题逻辑的外延性原理 מתח
כלל.	принцип экстензиональности пропозициональной логики