Fundamental logic by Eduard Suroviy