В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

Правильный ответ:

• # Тавтологией является формула (A,B - формулы):
• # Верно утверждение для произвольных литералов, конъюнктов и дизъюнктов:
• # В списке выражений: 2-2=0, 2+3=6, 3+12, 2+2>2+2, 2-0=3-0, 56=50+6 приведено всего истинных и ложных высказываний соответственно:
• # Количество всех различных -местных схем размера оценивается:
• # Для любой формулы А, формула А →​ А есть: