• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제2권1호
• /
• pp.25-29
• /
• 1995

The topos constructed in [6] is a set-like category that includes among its axioms an axiom of infinity and an axiom of choice. In its final form a topos is free from any such axioms. Set$\^$G/ is a topos whose object are G-set Ψ$\sub$s/:G${\times}$S\longrightarrowS and morphism f:S \longrightarrowT is an equivariants map. We already known that Set$\^$G/ satisfies the weak form of the axiom of choice but it does not satisfies the axiom of the choice.(omitted)

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제10권3호
• /
• pp.171-176
• /
• 2003

The purpose of this paper is to Show the relationships between three forms of the axiom of choice and well-ordering in an elementary topos.

• 한국수학사학회지
• /
• 제30권5호
• /
• pp.261-287
• /
• 2017

De Zolt's axiom which is a precise formulation of Euclid's Common Notion 5, "the whole is greater than the part", for the notion of 'content' holds in any Hilbert plane. In this article, we study the history of de Zolt's axiom which has its origin in Euclid's Common Notions, and introduce an example of a plane geometry in which de Zolt's axiom does not hold. We show that there is no area function in this geometry and every square is equidecomposable with a square which is properly contained in the first one. From this we also show that there are two equidecomposable rectangles which have the same base and do not have the same altitude, and there is a rectangle which is equicomplementable with an emptyset.

• 한국기계가공학회지
• /
• 제9권5호
• /
• pp.7-13
• /
• 2010

Main starting valve is one of the main parts in the control system of diesel engines, purposed for starting main engines. It is composed of ball valve, check valve, actuator, etc. The design axioms provide a general framework for design methodology. Two axioms are independence axiom and information axiom. These axioms can be applied to all design process in a general way. The first axiom is introduced to analyze and evaluate the design of a main starting valve. The design parameters(DPS) are determined sequentially by considering the independence axiom. For the structural design of a main starting valve, the strength is calculated by using finite element method. In addition, the strength of its actuator piston is evaluated.

• 한국수학사학회지
• /
• 제32권5호
• /
• pp.241-255
• /
• 2019

The proposition that the parallel axiom and the Pythagorean theorem are equivalent in the Hilbert geometry is true when the Archimedean axiom is assumed. In this article, we examine some specific plane geometries to see the existence of the non-archimidean Hilbert geometry in which the Pythagorean theorem holds but the parallel axiom does not. Furthermore we observe that the Pythagorean theorem is equivalent to the fact that the Hilbert geometry is actually a semi-Euclidean geometry.

• 논리연구
• /
• 제20권1호
• /
• pp.69-96
• /
• 2017

비트겐슈타인은 "논리-철학 논고"에서 러셀의 유형 이론과 특히, 환원 가능성 공리를 명시적으로 비판한다. 그렇다면 러셀의 유형 이론에 대한 비트겐슈타인의 비판의 요점이란 무엇인가? 나는 이 물음에 대답하기 위한 예비적인 작업으로서, 비트겐슈타인이 러셀의 환원 가능성 공리를 어떻게 비판했는지를 살펴보려고 한다. 비트겐슈타인은 러셀의 환원 가능성 공리가 논리적 명제가 아니고, 그것이 참이라면 그저 "오직 운 좋은 우연에 의해서만" 참일 수 있으며, "환원 가능성 공리가 적용되지 않는 세계가 생각될 수 있다"고 선언한다. 그렇다면 그 근거는 무엇인가? 나는 1913년 노르웨이 편지에서의 비트겐슈타인의 생각을 해명함으로써, 그러한 생각이 환원 가능성 공리가 성립하지 않는다는 것을 보여주는 램지와 바이스만의 모델에 결정적인 영향을 주었다는 것을 보이고자 한다.

• 한국생산제조학회지
• /
• 제22권1호
• /
• pp.100-106
• /
• 2013

This paper describes an integrated optimization design using multilevel decomposition technique on the base of the parametric distribution and independent axiom at the stages of lower level. Based on Pareto optimum solution, the detailed parameters at the lower level can be defined into the independent axiom. The suspension design is used as the simulation example.

• 한국수학사학회지
• /
• 제9권2호
• /
• pp.1-9
• /
• 1996

This paper is a sequel to [26]. We investigate how the Axiom of Choice has been accepted after Zermelo introduced the Axiom in 1904. The response to the Axiom has divided into two groups of mathematicians, namely idealists and empiricists. We also investigate how the Zorn's lemma (1935) has been emerged. It was originally formulated by Hausdorff in 1909 and then by many other mathematicians independently.

• 충청수학회지
• /
• 제16권2호
• /
• pp.75-78
• /
• 2003

The Tychonoff product theorem is one of the most fundamental theorems in general topology. As is well-known, the proof of the Tychonoff product theorem relies on the axiom of choice. The converse was also conjectured by S. Kakutani and Kelley [1] then resolved this conjecture in his historical short note on 1950. However, the original proof due to Kelley has a flaw. According to this observation, we provide a correction of the proof in this paper.

• 한국수학교육학회지시리즈B:순수및응용수학
• /
• 제18권4호
• /
• pp.353-359
• /
• 2011

In this paper, we characterize a semi-Riemannian manifolds satisfies the axiom of indefinite surfaces. We obtain the following result: If a semi-Riemannian manifold satisfies the axiom of indefinite surfaces, then it is a real space form.