Доказуемость, см.: Доказательство. Дополнение к множеству

 - такое множество не-А, когда A + не-А = 1, где 1 обозначает некоторую предметную область (уни­версальный класс). Пусть A будет множеством млекопитающих, а областью нашего рассуждения будет множество позвоночных жи­вотных. Тогда дополнением к нему (не-А) будет множество «не­млекопитающие», которое включает множества: рыб, круглоротых, земноводных, пресмыкающихся и птиц. Сложив множество млекопитающих (A) с множеством не-млекопитающих (не-А), мы получим класс позвоночных, т. е. некоторый универсальный класс, обозначаемый 1.