Consistency
In mathematics, a formal system[?] is said to be consistent if none of its proven theorems can also be disproven within that system. Or, alternatively, if the formal system doesn't assign both true and false as the semantics of one given statement.To add:
- systems proved to be consistent
- systems not proved consistent
- systems that cannot be proved consistent
See also:
But now returne,
Who bates mine.html">mine.html">mine Honor, shall not know my Coyne.
Exit
Ser. Excellent: Your Lordships a goodly Villain: the
he crossed himselfe by't: and I cannot thinke, but
fairely this Lord striues to appeare foule? Takes Vertuous
zeale, would set whole Realmes on fire, of such a nature
This was my Lords best hope, now all are fled
Doores that were ne/ne.html">ne're acquainted with their Wards
Now to guard sure their Master:
Who cannot keepe his wealth, must keep his house.
for his
Tit. The like to you kinde Varro
Hort. Lucius, what do we meet together?
For mine is money.html">money
Tit. So is theirs, and ours.
What do you thinke the houre?
Phil. Is not my Lord seene yet?
You must consider, that a Prodigall course
'Tis deepest Winter in Lord Timons purse, that is: One
Your Lord sends now for Money?
For which I waite for money
Hort. It is against my heart
Luci. Marke how strange it showes,
And e'ne as if your Lord should weare rich Iewels,
The Gods can witnesse:
And now Ingratitude, makes it worse then stealth
Varro. Yes, mine's three thousand Crownes:
Luci. Fiue thousand mine
Varro. 'Tis much deepe, and it should seem by th' sum
Else surely his had equall'd.
to come forth?
Enter Steward in a Cloake, muffled.
Luci. Ha: is not that his Steward muffled so?
2.Varro. By your leaue, sir.html">sir
Stew. What do ye aske of me, my Friend
Tit. We waite for certaine Money heere, sir
Stew. I, if Money were as certaine as your.
On
wordlookup.net
All is still licensed under the GNU FDL.
It uses material from the wikipedia.
|
|