Support NeoGAF

[Ecrofirt]

So by Thursday I've got to create a working axiom system with consistancy & dependancy models and theorems. Anyone ever have to do something like this?

Here's the system I'm doing. If you know how to, I'd appreciate if you could draw up the consistancy model for the system as you interprit it from my axioms, so I can be sure what I've come up with works well:

primitive terms (point, line, involve)

Axiom 1: Every point is on 4 lines
Axiom 2: Each line involves two points
Axiom 3: There are at least 3 points
Axiom 4: For any pair of points, there are at least two common lines involving both.
Axiom 5: There are at most 6 lines
Axiom 6: There exists at least one line

edit: I know some of you reading this *have* to know something about this, so if you can, please help a brotha out. I'm a bit in over my head here, and I want to make sure I'm on the right track.

 

[pestul]

I use a security system called Axiom III at work... does that count?

 

[Manabanana]

"Take a look!" makes it sound all interesting, then it's like, "Oh, homework help."

 

[Ecrofirt]

Mana, hah. Sorry if it looks misleading. And for the most part, it's not really help. I just want someone to *confirm* something that I've done.

You can make something from those 6 or so lines I've written up. Sounds pretty cool, I think.