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