Sure, the inductor doesn’t know which systems are consistent, but nevertheless it eventually starts believing the proofs given by any system which is consistent.
Sure, the inductor doesn’t know which systems are consistent, but nevertheless it eventually starts believing the proofs given by any system which is consistent.