On mathematical logic for the ship design through the axiomatic approach

In the field of a ship design, like a general design, it is an axiomatic theory meaning, there are no principle and axiom which can be used as absolute standard and indicator. We usually design a ship based on a vast quantity of databases obtained from the track record ship, and use the computer utilizing experience or intuition. In this report, the "design axiom" advocated by mechanical engineering is applied, and it aims at examining whether axiomatic theory standard and indicator can be built in the ship design. Firstly, it investigates about an example, examination of the hull structure system in an initial design stage (midship section creation). And then, "design axiom" verifies that outline application is possible. Next, the process near ship design practical work is adopted as anther example of examination, and while examining whether axiomatic approach could give the standard and indicator. Investigations are carried out about mathematical logic expression of the design process of a ship from the viewpoint.