Formalism (logicism) is inherently incomplete because it exists only in closed paper symbols and virtual logic in the brain, detached from real-world meaning. The Turing machine theory in computer science is a typical formalist symbolic system. Systems like ETH and other BFT deterministic consensus mechanisms also remain within the realm of formalist symbols. Without expressions grounded in real-world meaning and lacking human intuitive involvement, they are inevitably unsafe (imprecise/incomplete).