>>590
直観主義論理なら同値よ