すでに単なる定義の問題です
1=1が成り立ちさえすれば、後は定義していくだけですよ
それが論理空間ですね
もちろん、1+1=3.2でもよいですよ
単なる定義の問題です