dadl ffurfiol (dadleuon ffurfiol)eb

Brawddegau neu osodiadau sy’n cael eu defnyddio i brofi gosodiad neu theorem fathemategol yw dadl ffurfiol.