Of course we can reverse engineer and describe how bikes work... Anyway, the fact that we can not formally prove all true things doesn't really matter. That do

Of course we can reverse engineer and describe how bikes work... Anyway, the fact that we can not formally prove all true things doesn't really matter. That doesn't make all things equally valid. We find supporting evidence, we build conceptual models, we test the periphery of systems.