Hilbert's formalist approach prevailing over intuitionism demonstrates that mathematical practice ca...