Technical Basis of the
Anaxiomat®
Faultintolerant system
Working from a combination of the longestablished principles
of SEP Field Theory and Axiom Condensation, Klein und MöbiusGödel
of Zimmerhaven, working closely with Starlight Lines' master architect
Leovinus, have derived a new axiomatic structure to define a complex
system in which, at any given systemstate, there would invariably
be a random fault.
This has now been encoded as a nonlinear SuperGödel series and
incorporated into the Logic Condensation Unit of the Titanic's
main control loop.
Put simply, the Aldebaran Class LCU uses a heavyduty 3,000VpmS
fractal proposition generator to maintain continuous excludedmiddle
support, ensuring that, at all times, allaxiomatic elements of allavailable system states return True=1. As an integral part of
the process, all states notincluded in the operating Probability Axiom are excluded.
The precise details of this revolutionary system are of course
commercially confidential. Suffice it to say that:
 The control system specifies one fault per system state.
 The control system is a coherent SuperGödel axiomatic series.
 A SuperGödel axiomatic series cannot be proven without recourse
to extraaxiomatic propositions.
 The Aldebaran Class Logic Condensation Unit excludes all extraaxiomatic
propositions.
 The LCU also maintains full excludedmiddle support.
 Therefore there is no command state in which the SuperGödel series
can be fully verified.
 Therefore there is no command state in which the series can be
true.
 Therefore there is no command state in which the central axiomatic
proposition  that all command states contain a random fault
 can be true.
 Therefore nothing whatever can possibly go wrong.
