If the truth assignments were made one by one, rather than an infinite number at a time, the above difficulty would disappear; truths of logic such as would simply be asserted severally by fiat, and the problem of.