User blog:Alemagno12/A definition for phi(n)

This is based off Boboris02's MBOT.

Introduction
Now, what I will try to do in this blog post, is to try and make phi systems well-defined. However, this will be only limited to Φ(x), ⇒, and ∪, which means uncomputables will not be included.

Part 1 - The basics
Now, the function Φ(x) alone does not have a definition. To give Φ(x) a definition, we need to create a phi system.

WIP!