A similar analysis applies to the disjunction,: 1 is equal to 5 + 5, or 2 is equal to 5 + 5, or 3 is equal to 5 + 5, ... , or 100 is equal to 5 + 5, or ..., etc.
# существуют натуральные числа, кратные 5;# найдётся натуральное число, кратное 5;# хотя бы одно натуральное число кратно 5.: formula_5.