Первое доказывается первым основным правилом: именно что есть бесконечное множество познаваемых вещей