有限论域不包括逻辑上可能的所有领域,即有限论域所包含的领域是不完全的.而无限域将包括逻辑上可能的所有领域,在这样一个全域中,每一全称命题,如果不是重言的,就是假的；每一特称命题,如果不是荒谬的,就是真的.在逻辑上把“1”看作有限论域,而不是无限的全体域.
有限论域不包括逻辑上可能的所有领域,即有限论域所包含的领域是不完全的.而无限域将包括逻辑上可能的所有领域,在这样一个全域中,每一全称命题,如果不是重言的,就是假的；每一特称命题,如果不是荒谬的,就是真的.在逻辑上把“1”看作有限论域,而不是无限的全体域.