Thesaurus / axiomFEEDBACK
EXAMPLE SENTENCES FROM THE WEB
With an ATP, a programmer can code in all the rules, or axioms, and then ask if a particular conjecture follows those rules.
HOW CLOSE ARE COMPUTERS TO AUTOMATING MATHEMATICAL REASONING?STEPHEN ORNESAUGUST 27, 2020QUANTA MAGAZINE
It is a generally accepted axiom that a public man cannot afford to be modest in these go-ahead days of "boom."
THE DOCTOR OF PIMLICOWILLIAM LE QUEUX
This truth is as old as Homer, and its proofs are as capable of demonstration as a mathematical axiom.
By this, OLeary understood that he was definitely adopted by virtue of the axiom of what was his was theirs.
THE WOMAN GIVESOWEN JOHNSON
That was an axiom on which was founded a vigorous war against all capillary adornments.
THE BRITISH EXPEDITION TO THE CRIMEAWILLIAM HOWARD RUSSELL
WORDS RELATED TO AXIOM
Roget's 21st Century Thesaurus, Third Edition Copyright © 2013 by the Philip Lief Group.