数理論理学（数学基礎論）　その13

数理論理学（数学基礎論）　その13at MATH

数理論理学（数学基礎論）　その13 - 暇つぶし2ch949:１３２人目の素数さん
19/03/05 14:51:49.43 WbMTLbUZ.net
その前に
 >>882の
>単に｢論理式φに現れる変数記号xが自由変数であるとは～｣だけじゃだめで
例えば、｢左から数えてφのｎ文字目に現れている変数記号xが自由変数であるとは～｣ってな具合で位置まで指定しないと意味が無い
ということ証明してよ

次ページ