Geodesic
On Order in a Plane
Canadian journal of mathematics, Tome 19 (1967) no. 1, pp. 997-1000

Voir la notice de l'article provenant de la source Cambridge University Press

When a set of axioms is laid down as the basis of any mathematical doctrine, it must be proved that this set never leads to a contradiction. In this note we turn the question around. A set of axioms is given and we wish to adjoin an axiom of a specified type. How far does the demand of non-contradiction limit the choice of the new axiom? 
Forder, H. G. On Order in a Plane. Canadian journal of mathematics, Tome 19 (1967) no. 1, pp. 997-1000. doi: 10.4153/CJM-1967-090-0
@article{10_4153_CJM_1967_090_0,
     author = {Forder, H. G.},
     title = {On {Order} in a {Plane}},
     journal = {Canadian journal of mathematics},
     pages = {997--1000},
     year = {1967},
     volume = {19},
     number = {1},
     doi = {10.4153/CJM-1967-090-0},
     url = {http://geodesic.mathdoc.fr/articles/10.4153/CJM-1967-090-0/}
}
TY  - JOUR
AU  - Forder, H. G.
TI  - On Order in a Plane
JO  - Canadian journal of mathematics
PY  - 1967
SP  - 997
EP  - 1000
VL  - 19
IS  - 1
UR  - http://geodesic.mathdoc.fr/articles/10.4153/CJM-1967-090-0/
DO  - 10.4153/CJM-1967-090-0
ID  - 10_4153_CJM_1967_090_0
ER  - 
%0 Journal Article
%A Forder, H. G.
%T On Order in a Plane
%J Canadian journal of mathematics
%D 1967
%P 997-1000
%V 19
%N 1
%U http://geodesic.mathdoc.fr/articles/10.4153/CJM-1967-090-0/
%R 10.4153/CJM-1967-090-0
%F 10_4153_CJM_1967_090_0

[1] 1. Forder, H. G., The foundations of Euclidean geometry (1927) (Dover reprint, 1958). Google Scholar

[2] 2. Geiger, M., Systematische Axiomatik (1924). Google Scholar

Cité par Sources :