typeracer

Dyn yn nodi rhai o'r cysyniadau megis awyren, pwynt, a llinell syth, yr ydym yn gallu gysylltu fwy neu lai syniadau pendant, a syml o gynigion penodol (axioms) sydd, yn rhinwedd o'r syniadau hyn , rydym yn tueddu i dderbyn fel gwir. Yna, ar sail proses rhesymegol, y cyfiawnhad yr ydym yn teimlo ein hunain gorfodi i gyfaddef, yr holl gynigion sy'n weddill yn cael eu dangos i ddilyn gan y rhai axioms, hy maent yn cael eu profi.