جانشانی یکسان
برابر انگلیک (انگلیسی): uniform substitution


تاربرگ‌های پیموده‌شده در این نشست: نوئل بلنپ ⟩ ارنست فردریش فردیناند تسرملو ⟩ استواره بَوَندَگی گودل ⟩ یکنواختی دمداشت ⟩ استواره دوم بَوَندَگی گودل ⟩ استواره لونهایم