公理演绎一般是由两个判断组成的。