Canonical expressions are representative of implicative propositions upto renaming of variables. In this paper we explore, using a Monte-Carlo approach, the model of canonical expressions in order to confirm the paradox that says that asymptotically almost all classical theorems are intuitionistic.

翻译：罐头表达方式代表了从变数改名的隐含主张。 在本文中,我们用蒙特-卡洛方法探索了卡通表达方式的模式,以证实自相矛盾的说法,即几乎所有古典理论都具有直觉性。