For the objects: game(s), team(s)
For the relations: is, are, and I wasn't sure of played should be considered a relation or not
- - - Updated - - -
Pardon my typo; of should be if.
I need to create three theorems that follow from the four axioms. One theorem I came up with was if there are exactly four teams, then each team plays exactly three games. I'm having trouble coming up with another two. The only path I'm seeing is increasing the number of teams and seeing what...