—ловарь по логике

 

языковое расширение теории
≈сли T1=Cn(T1), Cn´ – расширение Cn на язык(T2) и T2=Cn´(T2), то:
T2 – €зыковое расширение T1 язык(T1)язык(T2) и T2=Cn´(T1).
Ўи€н “.ј.

© јвтор статьи.