ou indémonstrabilitéindémonstrabilitésubstfémindémontrabilitévalidxhtmlstrictcascadingstylesheetcnrtldicthoindémontrablepeutêtredémontréprouvécaractèrenbspwortlistehalehétéroclitismekilomètrepassagernovellisteplusrarementdémosthéniquescienceétantdonnéformulequelconquedémonstrationelleexistecontiendrasousformulescettemêmenombrecellesfiniproblèmedémonstrabilitétransforme
Étant donné une formule quelconque, sa démonstration, si elle existe, ne
contiendra que des sous-formules de cette formule même ; si le nombre de celles
-ci est fini, le problème de sa démonstrabilité ou indémonstrabilité se transforme
en un ...
参考文献
« EDUCALINGO. Ou indémonstrabilité [在线]. 可用 <https://educalingo.com/zh/dic-fr/ou-indemonstrabilite>. 五月 2024 ».