Given a consistent formal system x, from which a proposition ? has been derived(x ? ?, and hence x ? ?), could it be that ~? could exist due to the fact that there exists a proposition ? not derivable from x?