 We seem to have established that time is infinite using no assumptions beyond the existence of the self-referential sentence \(k\), along with the seemingly obvious principles about truth that took us to (1) and  also from (4) to (5). And the same goes for  (Q),  since we could have used the same form of argument to reach the false conclusion that all numbers are prime.