一階古典論理のうえで1+1=2って成り立っているの?
違うよね?