>命題Xを「Xが真ならば1=2である」と定義する。
そもそもこのような定義は可能か?