PLC Siemens programming: This publication is not conceived as a popular work or textbook, but as an academic treatise, or a monographic volume, aimed at introducing and discussing a specific theoretical proposition intended for the evaluation of the scientific community. The main objective of the work is to present and formalize the following axiom: "When a contact is delegated to release a self-latching, it is captured in the software in a state opposite to that represented in the functional." The purpose of the discussion is to analyze this proposition, verify its logical coherence and propose it as an axiom within the theoretical framework outlined by the author. The formalization of the axiom constitutes the first step towards a possible broader structuring of the conceptual model, within which the proposition can subsequently be developed and demonstrated in the form of a theorem. The present work also intends to establish a clear and formally recognizable formulation of the proposed thesis , with the intention of attributing its authorship in an explicit and traceable way in the context of the scientific literature. While adopting a deliberately simple and direct language, the content maintains the level of terminological precision and argumentative rigor required in scientific and academic fields, in order to ensure clarity of exposition without compromising the formality of the theoretical discourse.