Original: In philosophy, logic, and computer science:
Simplified: In mathematics: