Undecidability of some simple formalized theories