```
<div>
<blockquote>Everything that I want to prove is true.<br/></blockquote><br/><br/>If everything you want to prove is true, then you shouldn't need to prove it! :-)
</div>
```

]]>
You don't really need a new environment unless you want them counted separately. Just write

```
+-- {: .num_defn}
###### Axiom
(most important axiom)
Everything that I want to prove is true.
=--
```

(for example).

]]>Thanks, Andrew.

(I wish I could edit the titles of my posts. I keep making silly typos in the titles, which is embarrassing. )

]]>Yes it is. There's instructions over at the instiki instiki http://golem.ph.utexas.edu/wiki/instiki/show/Theorems. The CSS stuff is simple, the latex exporter needs a little technical jiggery-pokery but that would be easy to do.

]]>People want to know if it is possible to create a new formal environment *Axiom* analogous to the existing environments *Definition* , *Theorem* , *Proof* , etc.

Does anyone know?

]]>