typeracer

ジオメトリの特定の概念から飛行機でなど、ポイントと直線で、これで我々を関連付けるには、多かれ少なかれ明確なアイデアができるし、特定の単純な命題（公理）から出てセットは、これらのアイデアのおかげで、我々としてはを受け入れるように傾いている。その後、論理的なプロセスの基盤は、私たちが自分自身を認めざるを得ない感じの正当性は、残りのすべての命題は、これらの公理から従うことが示され、それらは証明されてすなわち。