An adequate bootstrap is a contradiction in terms.
In mathematics, truth is always relative to the system you're working in.