ํผํฌ์์ฌ์ฉ AXIOMIA
AXIOMIA๋ ํผํฌ์๊ธฐ์ ์ด ํ๊ฐ๋ฅผ ๋จ์ํ ๋ฐ๋ ์์น์์ ๋ฒ์ด๋, ์ด๋ค ์ ๋ณด๊ฐ ํ๋จ์ ์ํฅ์ ์ฃผ๋์ง ์ดํดํ๊ณ ๋ ์ ์ค๋นํ ์ ์๋๋ก ๋์ต๋๋ค.
๋ณธ๋ฌธ
ํผํฌ์๊ธฐ์ ์ ์ฅ์์ ๊ฐ์ฅ ๋ต๋ตํ ์ง์ ์ค ํ๋๋ ์ด๋ค ์๋ฃ๊ฐ ์ค์ํ๊ฒ ์ฝํ๋์ง, ์ด๋ค ์์๊ฐ ํ๊ฐ๋ฅผ ์ข์ฐํ๋์ง ๋ช ํํ ์๊ธฐ ์ด๋ ต๋ค๋ ๊ฒ์ ๋๋ค. ์ฑ์คํ ์๋ฃ๋ฅผ ์ ์ถํด๋ ํ๊ฐ์์ ๊ด์ ์์ ๋ฌด์์ด ๋ถ์กฑํ์ง ํ์ ํ๊ธฐ ์ฝ์ง ์์ต๋๋ค. AXIOMIA๋ ์ด ๊ฐ๊ฒฉ์ ์ขํ๋๋ค. ํ๋จ์ ์ ๋ ฅ ๊ตฌ์กฐ์ ํต์ฌ ๋ณ์๊ฐ ๋ ํฌ๋ช ํ๊ฒ ๋๋ฌ๋๊ธฐ ๋๋ฌธ์, ์ค๋น์ ๋์์ ์ง์ ๋์ผ ์ ์์ต๋๋ค.
์๋ฃ์ ์๋ณด๋ค ๊ตฌ์กฐ
์๋ฃ๋ฅผ ์ ์ถํ๋ ๊ณผ์ ์์ ์ค์ํ ๊ฒ์ ์์ด ์๋๋ผ ๊ตฌ์กฐ์ ๋๋ค. ๊ฐ์ ์ ๋ณด๋ผ๋ ํ๊ฐ์๊ฐ ํ์๋ก ํ๋ ๋ณ์์ ๋ง๊ฒ ์ ๋ฆฌ๋์ด ์๋ค๋ฉด ์คํด๊ฐ ์ค๊ณ , ๋ถ์๊ณผ ๊ฒํ ๊ฐ ๋นจ๋ผ์ง๋๋ค. AXIOMIA๋ ์ด๋ฐ ๊ตฌ์กฐํ๋ ์๋ฃ ์ ๋ฌ์ ๋ท๋ฐ์นจํฉ๋๋ค. ๋ฌด์์ ์ด๋ป๊ฒ ์ ์ํ ์ง์ ๋ํ ๊ฐ์ด๋๋ฅผ ์ ๊ณตํจ์ผ๋ก์จ, ์ค์ฌ์ ์ฌ์ฌ ๊ณผ์ ์์ ๋ถํ์ํ ํผ์ ์ ์ค์ ๋๋ค.
ํ๊ฐ ์ดํ์ ์ฐ๊ฒฐ
ํฌ์ ์ ์น๋ ๋์ด ์๋๋ผ ์์์ ๋๋ค. ์ดํ ๊ธฐ์ ์ ๋ณํ๊ฐ ๋ค์ ํ๊ฐ์ ๋ฐ์๋๊ณ , ์ด์ ๋ฐ์ดํฐ๊ฐ ์๋ก์ด ํ๋จ์ ๊ทผ๊ฑฐ๋ก ์ฐ๊ฒฐ๋๋ ํ๋ฆ์ด ์ค์ํฉ๋๋ค. AXIOMIA๋ ์ด ์ฐ์์ฑ์ ์ง์ํฉ๋๋ค. ๋จ์ํ ์๋ฃ๋ฅผ ์ ์ถํ๋ ์์คํ ์ด ์๋๋ผ, ํฌ์์์ ๊ธฐ์ ์ฌ์ด์ ์ง์์ ์ธ ์ปค๋ฎค๋์ผ์ด์ ์ธํ๋ผ๋ก ๊ธฐ๋ฅํฉ๋๋ค.