Принцип наименьшего числа может быть использован для построения нового варианта «стандартного рассуждения», призванного обосновать истинность универсальной формулировки. Вспомним, что мы обосновывали её, делая последовательные переходы от
Светлый фон
XIJY
R
S
R
T
AB
R
p
R
p
S
p
S
p
T
p
R
p
T